Sciweavers

5799 search results - page 219 / 1160
» Position Paper
Sort
View
ICRA
2003
IEEE
130views Robotics» more  ICRA 2003»
15 years 9 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 9 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
111
Voted
ASPDAC
1999
ACM
135views Hardware» more  ASPDAC 1999»
15 years 8 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
101
Voted
ICRA
1994
IEEE
77views Robotics» more  ICRA 1994»
15 years 8 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 7 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