Sciweavers

747 search results - page 51 / 150
» TODS Special Issues
Sort
View
WECWIS
2009
IEEE
114views ECommerce» more  WECWIS 2009»
15 years 6 months ago
Service Value Networks
The current industry-driven trend of providing flexible eservices lays the ground for the new research area “service value networks” (SVNs). We observe a rising number of ind...
Benjamin Blau, Jan Kramer, Tobias Conte, Clemens v...
ICRA
2009
IEEE
97views Robotics» more  ICRA 2009»
15 years 6 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
15 years 6 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
15 years 6 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
15 years 6 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