Sciweavers

4066 search results - page 294 / 814
» Almost Complete Sets
Sort
View
IROS
2008
IEEE
149views Robotics» more  IROS 2008»
16 years 1 months ago
A position-based visual servoing scheme for following paths with nonholonomic mobile robots
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...
Andrea Cherubini, François Chaumette, Giuse...
CIE
2007
Springer
16 years 25 days ago
A Useful Undecidable Theory
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 ...
Victor L. Selivanov
ECSQARU
2007
Springer
16 years 25 days ago
Comparing Argumentation Semantics with Respect to Skepticism
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...
Pietro Baroni, Massimiliano Giacomin
TIME
2006
IEEE
16 years 20 days ago
Temporal Arithmetic Mixing Months and Days
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
Feng Pan, Jerry R. Hobbs
CONEXT
2006
ACM
16 years 19 days ago
A modular RCP for flexible interdomain route control
This paper presents the MRCP (Modular Routing Control Platform), a routing control architecture that provides complete control and visibility of interdomain routing in a single AS...
Yi Wang, Jennifer Rexford