Sciweavers

12441 search results - page 2232 / 2489
» Frame Based Features
Sort
View
ICFEM
2010
Springer
15 years 5 months ago
Automating Coinduction with Case Analysis
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu
ICRA
2010
IEEE
189views Robotics» more  ICRA 2010»
15 years 5 months ago
Affordable SLAM through the co-design of hardware and methodology
— Simultaneous localization and mapping (SLAM) is a prominent feature for autonomous robots operating in undefined environments. Applications areas such as consumer robotics app...
Stéphane Magnenat, Valentin Longchamp, Mich...
ICRA
2010
IEEE
147views Robotics» more  ICRA 2010»
15 years 5 months ago
Towards One Shot Learning by imitation for humanoid robots
— Teaching a robot to learn new knowledge is a repetitive and tedious process. In order to accelerate the process, we propose a novel template-based approach for robot arm moveme...
Yan Wu, Yiannis Demiris
ICRA
2010
IEEE
213views Robotics» more  ICRA 2010»
15 years 5 months ago
A switching control law for a networked visual servo control system
— In this paper, a novel switching controller is proposed for a networked visual servo control system with varying feedback delay due to image processing and data transmission. T...
Haiyan Wu, Chih-Chung Chen, Jiayun Feng, Kolja K&u...
ICRA
2010
IEEE
226views Robotics» more  ICRA 2010»
15 years 5 months ago
Indoor scene recognition through object detection
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
Pablo Espinace, Thomas Kollar, Alvaro Soto, Nichol...
« Prev « First page 2232 / 2489 Last » Next »