A sequential real-time refinement calculus.

Ian J. Hayes Mark Utting

Published in: Acta Informatica (2001)

Keyphrases

real time
low cost
website
genetic algorithm
decision trees
mobile robot
natural language
facial expressions
high speed
data acquisition
temporal reasoning
sequential data
high fidelity