4894 search results - page 677 / 979 » Choices |
169
click to vote
AAAI
2006
15 years 8 months ago
2006
We embark on an initial study of a new class of strategic (normal-form) games, so-called ranking games, in which the payoff to each agent solely depends on his position in a ranki...
138
click to vote
ACE
2004
15 years 8 months ago
2004
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
187
click to vote
AAAI
2006
15 years 8 months ago
2006
Record linkage is the process of matching records across data sets that refer to the same entity. One issue within record linkage is determining which record pairs to consider, si...
158
click to vote
AIPS
2004
15 years 8 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
131
click to vote
AIPS
2004
15 years 8 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...