Login / Signup
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.
Ludovic Langevine
Pierre Deransart
Mireille Ducassé
Erwan Jahier
Published in:
WLPE (2001)
Keyphrases
</>
real time
agent model
probabilistic model
formal model
mathematical model
case study
prior knowledge
computational model
world model
constraint propagation
prediction model
experimental data
statistical model
process model
level set
hidden markov models
reinforcement learning