— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
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...
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...
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 ...
— 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...