Sciweavers

3166 search results - page 216 / 634
» Translation By Structural Correspondences
Sort
View
IROS
2008
IEEE
115views Robotics» more  IROS 2008»
16 years 1 months ago
Homing in scale space
— Local visual homing is the process of determining the direction of movement required to return an agent to a goal location by comparing the current image with an image taken at...
David Churchill, Andrew Vardy
MIAR
2006
IEEE
16 years 18 days ago
Robust Click-Point Linking for Longitudinal Follow-Up Studies
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...
Kazunori Okada, Xiaolei Huang, Xiang Zhou, Arun Kr...
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
16 years 6 days ago
Correspondenceless Ego-Motion Estimation Using an IMU
Abstract— Mobile robots can be easily equipped with numerous sensors which can aid in the tasks of localization and ego-motion estimation. Two such examples are Inertial Measurem...
Ameesh Makadia, Kostas Daniilidis
157
Voted
LPNMR
2005
Springer
16 years 2 days ago
Guarded Open Answer Set Programming
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
KR
2004
Springer
15 years 12 months ago
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
Alexander Bochman