Verifying a Real-Time Language with Constraints.
Anicet BartCharlotte TruchetÉric MonfroyPublished in: ICTAI (2015)
Keyphrases
- real time
- constraint language
- language learning
- natural language
- control system
- constrained optimization
- programming language
- constraint logic programming
- computer vision
- information extraction
- database
- global constraints
- case study
- object oriented
- low cost
- constraint satisfaction
- artificial intelligence
- language processing
- real time systems
- genetic algorithm
- timing constraints
- data sets
- algebraic operations