2266 search results - page 1 / 454 » Some Solutions to the Ignoring Problem |
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
STTT
2010
12 years 11 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
AAAI
1996
13 years 6 months ago
1996
A team of constraint agents with diverse viewpoints canfind a solution to a constraint satisfaction problem (CSP) whenthe individual agents have an incomplete viewof the problem.I...
DKE
2006
13 years 4 months ago
2006
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
ECP
1997
Springer
13 years 9 months ago
1997
Springer
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...