12707 search results - page 340 / 2542 » A Distributed Arc-Consistency Algorithm |
147
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
188
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an ant-inspired algorithm for building a self-organizing information system of a Grid. Ant-inspired mobile agents travel the Grid through P2P (peer-to-peer) int...
148
click to vote
ICAI
2008
15 years 8 months ago
2008
- This paper presents a distributed model for detecting Activities of Daily Living (ADLs) in a home setting. We consider an environment where household devices and utensils are aug...
177
click to vote
TCS
2008
15 years 6 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
198
click to vote
TIP
2008
15 years 6 months ago
2008
In this paper, we propose novel algorithms for total variation (TV) based image restoration and parameter estimation utilizing variational distribution approximations. Within the h...