Semantics and pragmatics of Real-Time Maude.

Peter Csaba Ölveczky José Meseguer

Published in: High. Order Symb. Comput. (2007)

Keyphrases

real time
formal semantics
low cost
control system
logic programming
operational semantics
data sets
data mining
information retrieval
natural language processing
conceptual model
machine learning
computer vision
bayesian networks
vision system
formal specification