Sciweavers

3255 search results - page 19 / 651
» Combination of Abstractions in the ASTR
Sort
View
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
13 years 6 months ago
Combining planning techniques for manipulation using realtime perception
Abstract— We present a novel combination of motion planning techniques to compute motion plans for robotic arms. We compute plans that move the arm as close as possible to the go...
Ioan Alexandru Sucan, Mrinal Kalakrishnan, Sachin ...
ICIAP
2005
ACM
14 years 7 months ago
Combining Multiple Matchers for Fingerprint Verification: A Case Study in FVC2004
Abstract. Combining different algorithms submitted to the Third International Fingerprint Verification Competition (FVC2004) is studied. For this work, the matching results of more...
Julian Fiérrez-Aguilar, Loris Nanni, Javier...
IROS
2009
IEEE
232views Robotics» more  IROS 2009»
14 years 2 months ago
Combining Cartesian and polar coordinates in IBVS
Abstract— Image-based visual servo (IBVS) is a simple, efficient and robust technique for vision-based control. Although technically a local method in practice it demonstrates a...
Peter I. Corke, Fabien Spindler, François C...
MKM
2009
Springer
14 years 2 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...
SG
2009
Springer
14 years 2 months ago
The Pie Slider: Combining Advantages of the Real and the Virtual Space
Abstract. The Pie Segment Slider is a novel parameter control interface combining the advantages of tangible input with the customizability of a graphical interface representation....
Alexander Kulik, André Kunert, Christopher ...