Keyphrases
- attribute grammars
- operational semantics
- high level
- delay insensitive
- definition language
- semantic constraints
- formal specification
- data mining
- written in natural language
- predicate calculus
- natural language
- video sequences
- neural network
- finite state machines
- formal verification
- hidden markov models
- case study
- syntactic analysis
- xml processing
- metadata
- computer vision
- syntactic semantic