Order-Sorted Model Theory for Temporal Executable Specifications.

Suad Alagic Mara Alagic

Published in: Theor. Comput. Sci. (1997)

Keyphrases

computational model
theoretical foundation
high level
objective function
probabilistic model
statistical model
formal model
neural network
similarity measure
management system
natural language processing
programming language
process model
mathematical model
spatial and temporal