Sciweavers

3954 search results - page 529 / 791
» Image-based Model Completion
Sort
View
PRDC
2000
IEEE
15 years 8 months ago
Enforcing synchronous system properties on top of timed systems
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
Christof Fetzer
ATAL
2000
Springer
15 years 8 months ago
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
Oswaldo Terán, Bruce Edmonds, Steve Wallis
149
Voted
COORDINATION
2000
Springer
15 years 8 months ago
Law-Governed Internet Communities
We consider the problem of coordination and control of large heterogeneous groups of agents distributed over the Internet in the context of Law-Governed Interaction (LGI) [2, 5]. L...
Xuhui Ao, Naftaly H. Minsky, Thu D. Nguyen, Victor...
CA
1999
IEEE
15 years 8 months ago
MPEG-4 Compatible Faces from Orthogonal Photos
MPEG-4 is scheduled to become an International Standard in March 1999. This paper demonstrates an experiment for a virtual cloning method and animation system, which is compatible...
Won-Sook Lee, Marc Escher, Gaël Sannier, Nadi...
ICRA
1999
IEEE
97views Robotics» more  ICRA 1999»
15 years 8 months ago
Clustering of Qualitative Contact States for a Transmission Assembly
Current manufacturing methods for robotic-controlled assembly rely on accurate positioning to ensure task completion, often through the use of special xtures and precise calibrati...
Marjorie Skubic, Benjamin Forrester, Brent Nowak