The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.

Published in: ICATPN (2002)

Keyphrases

real time
vision system
control system
multi agent
low cost
high speed
neural network
data mining
artificial intelligence
information systems
face recognition
artificial neural networks
mobile devices