Sciweavers

4525 search results - page 362 / 905
» Distributed multirobot localization
Sort
View
FMOODS
2003
15 years 8 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani
ACS
2011
15 years 1 months ago
The Patch Construction is Dual to Algebraic DCPO Representation
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...
Christopher F. Townsend
ATAL
2011
Springer
14 years 6 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
P2P
2008
IEEE
222views Communications» more  P2P 2008»
16 years 1 months ago
IgorFs: A Distributed P2P File System
IgorFs is a distributed, decentralized peer-to-peer (P2P) file system that is completely transparent to the user. It is built on top of the Igor peer-to-peer overlay network, whi...
Bernhard Amann, Benedikt Elser, Yaser Houri, Thoma...
ICCV
1999
IEEE
16 years 8 months ago
Probabilistic Detection and Tracking of Motion Discontinuities
We propose a Bayesian framework for representing and recognizing local image motion in terms of two primitive models: translation and motion discontinuity. Motion discontinuities ...
Michael J. Black, David J. Fleet