2584 search results - page 348 / 517 » On the Forward Checking Algorithm |
PUK
2000
14 years 11 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
128
Voted
WIESS
2000
14 years 11 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
75
Voted
ACL
1993
14 years 11 months ago
1993
We propose a distinction between two kinds of metonymy: "referential" metonymy, in which the referent of an NP is shifted, and "predicative" metonymy, in which...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
68
Voted
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...