Sciweavers

61 search results - page 11 / 13
» Generic Forward and Backward Simulations
Sort
View
FAC
2010
107views more  FAC 2010»
14 years 9 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»
15 years 6 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»
14 years 11 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»
15 years 5 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
15 years 1 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