Extending Hoare Logic to Real-Time.

Published in: Formal Aspects Comput. (1994)

Keyphrases

real time
control system
neural network
machine learning
information systems
vision system
multi valued
information retrieval
computer vision
video sequences
search algorithm
low cost
medical images
automated reasoning
computational properties
predicate logic