Sciweavers

1772 search results - page 198 / 355
» The Model Coupling Toolkit
Sort
View
FORMATS
2009
Springer
15 years 9 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
107
Voted
ICRA
2008
IEEE
170views Robotics» more  ICRA 2008»
15 years 9 months ago
Manipulating articulated objects with interactive perception
Abstract— Robust robotic manipulation and perception remains a difficult challenge, in particular in unstructured environments. To address this challenge, we propose to couple m...
Dov Katz, Oliver Brock
SMI
2008
IEEE
167views Image Analysis» more  SMI 2008»
15 years 9 months ago
Hands on virtual clay
This paper presents a new interaction system designed for hands-on 3D shape modeling and deformation through natural hand gestures. Our system is made of a Phantom haptic device c...
Adeline Pihuit, Paul G. Kry, Marie-Paule Cani
CVPR
2007
IEEE
15 years 9 months ago
Target Tracking with Online Feature Selection in FLIR Imagery
We present a particle filter-based target tracking algorithm for FLIR imagery. A dual foreground and background model is proposed for target representation which supports robust ...
Vijay Venkataraman, Guoliang Fan, Xin Fan
IROS
2007
IEEE
123views Robotics» more  IROS 2007»
15 years 9 months ago
Visual servoing of an airplane for auto-landing
— In this paper, a visual servoing scheme is proposed to control an airplane during its landing. A linearized model of the airplane dynamics and decoupled visual features are use...
Odile Bourquardez, François Chaumette