Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.

Matteo Pradella Angelo Morzenti Pierluigi San Pietro

Published in: ICTAC (2008)

Keyphrases

probability distribution
computational model
prior knowledge
theoretical framework
probabilistic model
parameter estimation
statistical model
mathematical model
high level
closed form
database
management system
recommender systems
similarity measure
search engine
learning algorithm
data mining