7821 search results - page 1347 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
176
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
178
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
As we progress, society must intelligently address the following question: How much risk is acceptable? How we answer this question could have important consequences for the futur...
199
click to vote
PROFES
2001
Springer
15 years 11 months ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
178
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Many-to-one matching markets exist in numerous different forms, such as college admissions, matching medical interns to hospitals for residencies, assigning housing to college st...
237
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
In many settings, a group of agents must come to a joint decision on multiple issues. In practice, this is often done by voting on the issues in sequence. In this paper, we model ...