Handling Parameterized Systems with Non-atomic Global Conditions.

Parosh Aziz Abdulla Noomene Ben Henda Giorgio Delzanno Ahmed Rezine

Published in: VMCAI (2008)

Keyphrases

image processing
sufficient conditions
data sets
artificial intelligence
expert systems
computing systems
genetic algorithm
data structure
relational databases
multiresolution
hidden markov models
management system
medical images
distributed systems
complex systems