Existential Positive Types and Preservation under Homomorphisisms.

Benjamin Rossman

Published in: LICS (2005)

Keyphrases

positive and negative
real time
data sets
real world
data mining
high level
database systems
face recognition
bayesian networks
multi agent
data structure
support vector
search algorithm
hidden markov models