Sciweavers

61 search results - page 11 / 13
» Generic Forward and Backward Simulations
Sort
View
FAC
2010
107views more  FAC 2010»
13 years 7 months ago
Atomic actions, and their refinements to isolated protocols
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
Richard Banach, Gerhard Schellhorn
ICC
2009
IEEE
148views Communications» more  ICC 2009»
14 years 4 months ago
Analysis of Probabilistic Flooding: How Do We Choose the Right Coin?
Abstract—This paper studies probabilistic information dissemination in random networks. Consider the following scenario: A node intends to deliver a message to all other nodes in...
Sérgio Crisóstomo, Udo Schilcher, Ch...
OSN
2007
132views more  OSN 2007»
13 years 9 months ago
Intermediate-node-initiation (INI): A generalized signaling framework for optical burst-switched networks
In this paper, we discuss different signaling techniques for optical burst-switched networks. We develop a generalized signaling framework for optical burst-switched networks, whi...
Vinod Vokkarane
ICRA
2006
IEEE
180views Robotics» more  ICRA 2006»
14 years 3 months ago
Active Control for Single Camera SLAM
— In this paper we consider a single hand-held camera performing SLAM at video rate with generic 6DOF motion. The aim is to optimise both the localisation of the sensor and build...
Teresa Vidal-Calleja, Andrew J. Davison, Juan Andr...
WSC
2004
13 years 11 months ago
Practical 3D Animation of Multiply Articulated Construction Equipment
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
Vineet R. Kamat, Julio C. Martínez