2333 search results - page 257 / 467 » Recursive Computational Depth |
157
click to vote
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
— In this paper we present a novel approach to robust visual servoing. This method removes the feature tracking step from a typical visual servoing algorithm. We do not need corr...
218
click to vote
WIMOB
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—One of the reasons that the research of intrusion detection in wireless sensor networks has not advanced significantly is that the concept of “intrusion” is not cle...
149
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
— We develop a framework to allow generic object detection algorithms to exploit geometric information commonly available to robot vision systems. Robot systems take pictures wit...
144
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
162
click to vote
CC
2007
Springer
16 years 22 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...