1087 search results - page 126 / 218 » On Stabilization in Herman's Algorithm |
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In sensor networks, correct clocks have arbitrary starting offsets and nondeterministic fluctuating skews. We consider an adversary that aims at tampering with the cloc...
AVSS
2006
IEEE
14 years 2 months ago
2006
IEEE
PTZ (Pan-Tilt-Zoom) cameras are widely used for large-area video surveillance. For many visual tracking and video analysis tasks, an accurate camera calibration is very important....
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
ICN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recent developments in computer and communication networks require scheduling decisions to be made under increasingly complex system dynamics. We model and analyze the pr...