Predicate Abstraction for Dense Real-Time System.

M. Oliver Möller Harald Rueß Maria Sorea

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

real time
image sequences
vision system
search engine
database systems
high resolution
control system
low cost
first order logic
data abstraction