Verifying Real-Time Properties of tccp Programs.

María Alpuente María-del-Mar Gallardo Ernesto Pimentel Alicia Villanueva

Published in: J. Univers. Comput. Sci. (2006)

Keyphrases

real time
vision system
machine learning
low cost
multiscale
imperative programs
real time systems
desirable properties
database systems
information technology
evolutionary algorithm
control system
high level
feature selection
computer programs
high fidelity
real world
database