195 search results - page 15 / 39 » Distributed abductive reasoning with constraints |
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
Constraint programming has been used in many applications where uncertainty arises to model safe reasoning. The goal of constraint propagation is to propagate intervals of uncerta...
106
click to vote
ECOOP
1993
Springer
15 years 1 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
57
Voted
AGILEDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Agile processes rely on feedback and communication to work and they often work best with co-located teams for this reason. Sometimes agile makes sense because of project requireme...
73
Voted
SOFSEM
2004
Springer
15 years 3 months ago
2004
Springer
Our aim is to investigate the factors which determine the intrinsic hardness of constructing a solution to any particular constraint satisfaction problem instance, regardless of th...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Agents collaborating on a set of tasks subject to temporal constraints must coordinate their activities to ensure that all of the temporal constraints are ultimately satisfied. S...