Sciweavers

255 search results - page 1 / 51
» The Reconstruction of a Mobile Agent Computation and Its Val...
Sort
View
IPPS
2003
IEEE
13 years 10 months ago
The Reconstruction of a Mobile Agent Computation and Its Validation
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
Mamoun Filali, Philippe Mauran, Gérard Padi...
PROMAS
2005
Springer
13 years 10 months ago
Organization and Mobility in Mobile Agent Computing
Abstract. A mobile agent system for organizing multiple mobile agents is presented. It provides two unique two mechanisms for dynamically organizing mobile agents, which may be run...
Ichiro Satoh
LOGCOM
2008
120views more  LOGCOM 2008»
13 years 4 months ago
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
We look at the problem in belief revision of trying to make inferences about what an agent believed--or will believe--at a given moment, based on an observation of how the agent h...
Richard Booth, Alexander Nittka
ECCV
2008
Springer
14 years 6 months ago
Efficient Camera Smoothing in Sequential Structure-from-Motion Using Approximate Cross-Validation
Abstract. In the sequential approach to three-dimensional reconstruction, adding prior knowledge about camera pose improves reconstruction accuracy. We add a smoothing penalty on t...
Michela Farenzena, Adrien Bartoli, Youcef Mezouar
MAGS
2008
169views more  MAGS 2008»
13 years 4 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi