Sciweavers

870 search results - page 15 / 174
» The failure detector abstraction
Sort
View
MVA
2010
248views Computer Vision» more  MVA 2010»
13 years 3 months ago
A comparative evaluation of interest point detectors and local descriptors for visual SLAM
Abstract In this paper we compare the behavior of different interest points detectors and descriptors under the conditions needed to be used as landmarks in visionbased simultaneou...
Arturo Gil, Óscar Martínez Mozos, M&...
IJFCS
2006
106views more  IJFCS 2006»
13 years 9 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
TCAD
2008
82views more  TCAD 2008»
13 years 9 months ago
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
Hao Zheng, Jared Ahrens, Tian Xia
EUROS
2006
79views Robotics» more  EUROS 2006»
14 years 19 days ago
Efficient Failure Detection for Mobile Robots Using Mixed-Abstraction Particle Filters
Christian Plagemann, Cyrill Stachniss, Wolfram Bur...