A model-prover for constrained dynamic conversations.

Diletta Cacciagrano Flavio Corradini Rosario Culmone Luca Tesei Leonardo Vito

Published in: iiWAS (2008)

Keyphrases

database
computational model
mathematical model
prior knowledge
probabilistic model
high level
em algorithm
theoretical analysis
formal model
data mining
artificial neural networks
cost function
statistical model
experimental data
network model
dynamically updated