Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems.

Julien Bertrane

Published in: SAS (2006)

Keyphrases

computer vision
web pages
real time
machine learning
decision making
probabilistic model
knowledge based systems
retrieval systems