Modal Systems: Specification, Refinement and Realisation.

Fernando Luís Dotti Alexei Iliasov Leila Ribeiro Alexander B. Romanovsky

Published in: ICFEM (2009)

Keyphrases

intelligent systems
computer systems
real world
distributed systems
real time
data sets
artificial intelligence
computer vision
search algorithm
evolutionary algorithm
hidden markov models
knowledge based systems
building blocks