The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications.

Robert A. Hearn Erik D. Demaine

Published in: ICALP (2002)

Keyphrases

formal model
computational model
case study
probabilistic model
mathematical model
theoretical framework
database
real time
high level
prior knowledge
probability distribution
theoretical analysis
sensitivity analysis
simulation model
efficient computation