3172 search results - page 114 / 635 » On the Random-Self-Reducibility of Complete Sets |
134
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
169
click to vote
ESWS
2009
Springer
16 years 29 days ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
154
click to vote
DEXAW
2008
IEEE
16 years 26 days ago
2008
IEEE
The aim of this work is to provide a robust way for peers with heterogeneous data sources to exchange information in an unreliable network. We address this problem in two ways. Fi...
166
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— We present a visual servoing scheme enabling nonholonomic mobile robots with a fixed pinhole camera to reach and follow a continuous path on the ground. The controller...
179
click to vote
CIE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...