Duration Calculus: A Real-Time Semantic for B.
Samuel ColinGeorges MarianoVincent PoirriezPublished in: ICTAC (2004)
Keyphrases
- real time
- vision system
- moving target
- computer vision
- semantic representation
- semantic search
- hidden markov models
- natural language processing
- semantic information
- model checking
- context dependent
- semantic technologies
- semantic relationships
- semantic features
- semantic annotation
- domain specific
- low level
- natural language
- high level
- neural network