Sciweavers

4508 search results - page 574 / 902
» Design of human-map system interaction
Sort
View
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
16 years 8 months ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
SRDS
2008
IEEE
16 years 1 months ago
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
Devdatta Kulkarni, Anand Tripathi
ARITH
2005
IEEE
16 years 11 days ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
Marc Daumas, Guillaume Melquiond, César Mu&...
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
16 years 10 days ago
Haptic Rendering of Topological Constraints to Users Manipulating Serial Virtual Linkages
— This paper presents an approach for haptic rendering of topological constraints to users operating serial virtual linkages. In the proposed approach, a haptic device controller...
Daniela Constantinescu, S. E. Salcudean, Elizabeth...
NIME
2005
Springer
128views Music» more  NIME 2005»
16 years 7 days ago
Multi-user Instruments: Models, Examples and Promises
In this paper we study the potential and the challenges posed by multi-user instruments, as tools that can facilitate interaction and responsiveness not only between performers an...
Sergi Jordà