Sciweavers

881 search results - page 52 / 177
» connection 2004
Sort
View
ISER
2004
Springer
152views Robotics» more  ISER 2004»
15 years 3 months ago
Robust Haptic Teleoperation of a Mobile Manipulation Platform
This paper presents a new teleoperation scheme for mobile manipulation systems. A virtual spring connects a master and slave system where local force feedback on the slave system c...
Jaeheung Park, Oussama Khatib
IWPEC
2004
Springer
15 years 3 months ago
Parameterized Graph Separation Problems
We consider parameterized problems where some separation property has to be achieved by deleting as few vertices as possible. The following five problems are studied: delete k ve...
Dániel Marx
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
15 years 1 months ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
DATE
2004
IEEE
108views Hardware» more  DATE 2004»
15 years 1 months ago
Poor Man's TBR: A Simple Model Reduction Scheme
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
Joel R. Phillips, Luis Miguel Silveira
FCCM
2004
IEEE
102views VLSI» more  FCCM 2004»
15 years 1 months ago
Smart Camera Based on Reconfigurable Hardware Enables Diverse Real-Time Applications
We demonstrate the use of a "smart camera" to accelerate two very different image processing applications. The smart camera consists of a high quality video camera and f...
Miriam Leeser, Shawn Miller, Haiqian Yu