Sciweavers

1078 search results - page 112 / 216
» Local and Global Relational Consistency
Sort
View
GLOBAL
2003
Springer
15 years 3 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
WISE
2002
Springer
15 years 2 months ago
An MDP-based Peer-to-Peer Search Server Network
A distributed search system consists of a large number of autonomous search servers logically connected in a peerto-peer network. Each search server maintains a local index of a c...
Yipeng Shen, Dik Lun Lee
ROBOCUP
1999
Springer
194views Robotics» more  ROBOCUP 1999»
15 years 2 months ago
Agilo RoboCuppers: RoboCup Team Description
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
Thorsten Bandlow, Robert Hanek, Michael Klupsch, T...
ENTCS
2008
70views more  ENTCS 2008»
14 years 10 months ago
Separate Compilation of Polychronous Specifications
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard,...
JMIV
2008
121views more  JMIV 2008»
14 years 10 months ago
A Geometric Approach for Regularization of the Data Term in Stereo-Vision
Every stereovision application must cope with the correspondence problem. The space of the matching variables, often consisting of spatial coordinates, intensity and disparity, is...
Rami Ben-Ari, Nir A. Sochen