4460 search results - page 740 / 892 » Formal methods for interactive systems |
165
Voted
HUC
2007
Springer
15 years 10 months ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
141
click to vote
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
The purpose of the Virtual Haptic Back (VHB) project is to develop a realistic haptic/graphical model of the human back that can be used for palpation (diagnosis though touch) in ...
132
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– This paper presents a method for the impedance control of a pneumatic linear actuator for tasks involving contact interaction. The method presented takes advantage of the natur...
150
click to vote
LAWEB
2005
IEEE
15 years 9 months ago
2005
IEEE
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...
146
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Scientific illustrations use accepted conventions and methodologies to effectively convey object properties and improve our understanding. We present a method to illustrate volum...