Abstract satisfaction.

Vijay Victor D'Silva Leopold Haller Daniel Kroening

Published in: POPL (2014)

Keyphrases

high level
higher level
data sets
customer satisfaction
user satisfaction
artificial intelligence
computer vision
image processing
evolutionary algorithm
low level
information systems
search engine
optimal solution
relational databases
artificial neural networks
management system
neural network
database