Sciweavers

1398 search results - page 203 / 280
» Ensuring Properties of Interaction Systems
Sort
View
HAPTICS
2005
IEEE
15 years 12 months ago
A Haptic Interface for Human-in-the-Loop Manipulation at the Nanoscale
This paper outlines major challenges that we are facing in interfacing a human user with objects in the nanoworld via a haptic interface. After a review of prior efforts at haptic...
Hong Z. Tan, Laron Walker, Ron Reifenberger, Sorub...
GW
2005
Springer
242views Biometrics» more  GW 2005»
15 years 11 months ago
Finger Tracking Methods Using EyesWeb
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
Anne-Marie Burns, Barbara Mazzarino
185
Voted
UPP
2004
Springer
15 years 11 months ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
ICALP
2003
Springer
15 years 11 months ago
Secrecy in Untrusted Networks
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vlad...
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 11 months ago
Consensus on homogeneous manifolds
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
Alain Sarlette, Rodolphe Sepulchre