Strong Termination for Gap-Order Constraint Abstractions of Counter Systems.

Published in: LATA (2012)

Keyphrases

decision making
high level
management system
real world
real time
artificial intelligence
knowledge base
image segmentation
bayesian networks
expert systems
relational databases
database management systems
constraint networks