An Overview and Synthesis on Timed Process Algebras.

Xavier Nicollin Joseph Sifakis

Published in: CAV (1991)

Keyphrases

databases
neural network
machine learning
computer vision
image processing
website
web services
bayesian networks
user interface
knowledge discovery