15033 search results - page 217 / 3007 » Complexity Theory and Algorithms |
106
click to vote
AIMSA
1990
Springer
15 years 8 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
153
click to vote
CNSR
2007
IEEE
15 years 10 months ago
2007
IEEE
The theory of natural movement is fundamental to space syntax: a set of theories and methods developed in the late 1970s that seeks, at a general level, to reveal the mutual effec...
137
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
148
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
A newly deployed multi-hop radio network is unstructured and lacks a reliable and efficient communication scheme. In this paper, we take a step towards analyzing the problems exis...
122
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Consider a set of players that are interested in collectively evaluating a set of objects. We develop a collaborative scoring protocol in which each player evaluates a subset of t...