8413 search results - page 293 / 1683 » Ordering Problem Subgoals |
157
click to vote
HAPTICS
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we present a multi-modal data perceptualization system used to analyze the benefits of augmenting a volume docking problem with other perceptual cues, particularly...
168
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
179
click to vote
PAAMS
2009
Springer
15 years 11 months ago
2009
Springer
The multi-agent resource allocation problem is the negotiation of a set of resources among a population of agents, in order to maximize a social welfare function. The purpose of th...
173
click to vote
IMPERIAL
1993
15 years 10 months ago
1993
We describe some ideas and results about the following problem: Given a set, a family of \preference relations" on the set, and a \priority" among those preference relat...
161
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...