5506 search results - page 844 / 1102 » Minimal Logic Programs |
113
click to vote
ICALP
2005
Springer
15 years 8 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 ...
132
click to vote
ICALP
2005
Springer
15 years 8 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 8 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,...
110
click to vote
UM
2005
Springer
15 years 8 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...
UM
2005
Springer
15 years 8 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...