Sciweavers

2797 search results - page 446 / 560
» Control Structures
Sort
View
111
Voted
ICRA
1999
IEEE
186views Robotics» more  ICRA 1999»
15 years 6 months ago
Grasp Analysis as Linear Matrix Inequality Problems
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
Li Han, Jeffrey C. Trinkle, Zexiang Li
96
Voted
FM
1999
Springer
109views Formal Methods» more  FM 1999»
15 years 6 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
128
Voted
ICVS
1999
Springer
15 years 6 months ago
Ascender II, a Visual Framework for 3D Reconstruction
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
Maurício Marengoni, Christopher O. Jaynes, ...
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
15 years 6 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny
110
Voted
VLDB
1999
ACM
131views Database» more  VLDB 1999»
15 years 6 months ago
High-Performance Extensible Indexing
Today’s object-relational DBMSs (ORDBMSs) are designed to support novel application domains by providing an extensible architecture, supplemented by domain-specific database ex...
Marcel Kornacker