Sciweavers

5799 search results - page 219 / 1160
» Position Paper
Sort
View
ICRA
2003
IEEE
130views Robotics» more  ICRA 2003»
15 years 11 months ago
Application of moment invariants to visual servoing
Abstract— In this paper, we present how moment invariants can be used to design a decoupled 2D visual servoing scheme and to minimize the nonlinearity of the interaction matrix r...
Omar Tahri, François Chaumette
AC
2003
Springer
15 years 11 months ago
Naming and Integrity: Self-verifying Data in Peer-to-Peer Systems
Peer-to-peer systems are positioned to take advantage of gains in network bandwidth, storage capacity, and computational resources to provide long-term durable storage infrastruct...
Hakim Weatherspoon, Chris Wells, John Kubiatowicz
ASPDAC
1999
ACM
135views Hardware» more  ASPDAC 1999»
15 years 10 months ago
A High Speed and Low Power Phase-Frequency Detector and Charge - pump
– In this paper, we introduce a high-speed and low power Phase-Frequency Detector (PFD) that is designed using modified TSPC (True Single-Phase Clock) positive edge triggered D f...
Won Hyo Lee, Jun Dong Cho, Sung Dae Lee
ICRA
1994
IEEE
77views Robotics» more  ICRA 1994»
15 years 10 months ago
Sensing Polygon Poses by Inscription
Industrial assembly involves sensing the pose (orientation and position) of a part. Efficient and reliable sensing strategies can be developed for an assembly task if the shape of...
Yan-Bin Jiang, Michael Erdmann
FM
2006
Springer
169views Formal Methods» more  FM 2006»
15 years 10 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks