920 search results - page 86 / 184 » Generating Satisfiable Problem Instances |
96
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...
127
click to vote
CLIMA
2010
15 years 26 days ago
2010
When agents are acting together, they may need a simple mechanism to decide on joint actions. One possibility is to have the agents express their preferences in the form of a ballo...
107
Voted
IS
2008
15 years 20 days ago
2008
Consistent query answering is the problem of characterizing and computing the semantically correct answers to queries from a database that may not satisfy certain integrity constr...
83
Voted
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
"Similar problems have similar solutions" is a basic tenet of case-based inference. However this is not satisfied for CBR systems where the task is to achieve original so...
191
Voted
PEPM
2009
ACM
17 years 24 days ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...