Sciweavers

6047 search results - page 180 / 1210
» Modeling with Extend
Sort
View
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
15 years 1 months ago
Observability analysis of relative localization for AUVs based on ranging and depth measurements
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
ISMAR
2008
IEEE
15 years 9 months ago
OutlinAR: an assisted interactive model building system with reduced computational effort
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
Pished Bunnun, Walterio W. Mayol-Cuevas
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
15 years 7 months ago
On-the-Fly Model Checking of Fair Non-repudiation Protocols
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
Guoqiang Li, Mizuhito Ogawa
OMER
2001
15 years 4 months ago
State Machine Modeling: From Synch States to Synchronized State Machines
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
Dominikus Herzberg, André Marburger
CEC
2009
IEEE
15 years 9 months ago
Modelling and simulation of granuloma formation in visceral leishmaniasis
— Visceral leishmaniasis is a parasitic disease that is usually fatal if untreated. Host resistance is thought to involve the accumulation of inflammatory cells into structures ...
Anton J. Flugge, Jon Timmis, Paul S. Andrews, John...