Analysis of Boolean Programs.

Patrice Godefroid Mihalis Yannakakis

Published in: TACAS (2013)

Keyphrases

neural network
data analysis
real valued
quantitative analysis
data sets
artificial intelligence
information systems
database systems
similarity measure
wide range
pattern recognition
expert systems
automatic analysis