6740 search results - page 977 / 1348 » Using Classification as a Programming Language |
141
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
177
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
When the search for a solution to a constraint satisfaction problem backtracks, it is not usually worthwhile to remember the assignment that failed, because the same assignment wil...
202
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
168
Voted
UM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...
200
click to vote
UM
2005
Springer
16 years 8 days ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...