4218 search results - page 299 / 844 » Complete sets of cooperations |
163
Voted
ESWS
2009
Springer
16 years 24 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...
150
click to vote
DEXAW
2008
IEEE
16 years 20 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...
162
click to vote
IROS
2008
IEEE
16 years 19 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...
176
click to vote
CIE
2007
Springer
16 years 12 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 ...
144
click to vote
ECSQARU
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...