Timed and Hybrid Statecharts and Their Textual Representation.

Yonit Kesten Amir Pnueli

Published in: FTRTFT (1992)

Keyphrases

markov chain
image representation
conceptual modeling
information retrieval
image sequences
face recognition
natural language
hybrid learning
formal methods