1968 search results - page 49 / 394 » The Complexity of Valued Constraint Models |
130
click to vote
CLEIEJ
2006
15 years 1 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
126
click to vote
AIEDU
2005
15 years 1 months ago
2005
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...
AI
2007
Springer
15 years 7 months ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘orâ...
FLAIRS
2008
15 years 3 months ago
2008
This paper discusses how numerically imprecise information can be modelled and how a risk evaluation process can be elaborated by integrating procedures for numerically imprecise ...
143
click to vote
SIAMSC
2008
15 years 1 months ago
2008
Abstract. We present a multigrid algorithm for the solution of distributed parameter inverse problems constrained by variable-coefficient linear parabolic partial differential equa...