5084 search results - page 811 / 1017 » Proving Possibility Properties |
152
click to vote
NETWORKING
2007
15 years 8 months ago
2007
Recently, Doubletree, a cooperative algorithm for large-scale topology discovery at the IP level, was introduced. Compared to classic probing systems, Doubletree discovers almost a...
181
click to vote
SEBD
2007
15 years 8 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
163
click to vote
WEBIST
2008
15 years 8 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
174
click to vote
AAAI
2006
15 years 8 months ago
2006
In group decision-making problems that involve selfinterested agents with private information, reaching socially optimal outcomes requires aligning the goals of individuals with t...
179
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...