5506 search results - page 844 / 1102 » Minimal Logic Programs |
129
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
151
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
SERA
2005
Springer
15 years 10 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
125
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
117
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...