Sciweavers

780 search results - page 56 / 156
» Introduction to Special Issue
Sort
View
ICRA
2009
IEEE
97views Robotics» more  ICRA 2009»
14 years 3 months ago
Tuning the gains of haptic couplings to improve force feedback stability in nanorobotics
— This paper deals with the problem of bilateral haptic control in nanorobotics. At this scale, a human operator cannot interact directly with objects. He needs special tools man...
Aude Bolopion, Barthelemy Cagneau, D. Sinan Haliyo...
ICIAR
2009
Springer
14 years 3 months ago
Interacting with Digital Signage Using Hand Gestures
Abstract. Digital signage is a very attractive medium for advertisement and general communications in public open spaces. In order to add interaction capabilities to digital signag...
Qing Chen, François Malric, Yi Zhang, Muham...
MKM
2009
Springer
14 years 3 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...
HT
2009
ACM
14 years 3 months ago
The scalable hyperlink store
This paper describes the Scalable Hyperlink Store, a distributed in-memory “database” for storing large portions of the web graph. SHS is an enabler for research on structural...
Marc Najork
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 3 months ago
LQG control over lossy TCP-like networks with probabilistic packet acknowledgements
Abstract— This paper is concerned with control applications over lossy data networks. Sensor data is transmitted to an estimation-control unit over a network, and control command...
Emanuele Garone, Bruno Sinopoli, Alessandro Casavo...