Extensional Embedding of a Strongly Stable Model of PCF.

Antonio Bucciarelli Thomas Ehrhard

Published in: ICALP (1991)

Keyphrases

formal model
computational model
mathematical model
management system
object model
classification method
classification algorithm
theoretical analysis
real time
high level
probabilistic model
support vector machine svm
feature vectors
feature space
objective function
bayesian networks
face recognition