7195 search results - page 761 / 1439 » On Computing Power |
226
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
185
Voted
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
183
click to vote
DIALM
1999
ACM
15 years 11 months ago
1999
ACM
Ad hoc networks are gaining popularity as a result of advances in smaller, more versatile and powerful mobile computing devices. The distinguishing feature of these networks is the...
230
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Evolving multiple robots so that each robot acting independently can contribute to the maximization of a system level objective presents significant scientific challenges. For e...
184
click to vote
AAAI
1998
15 years 8 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...