1176 search results - page 155 / 236 » Implicit Abstraction Heuristics |
141
click to vote
NOMS
2000
IEEE
15 years 10 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
163
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
170
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We have investigated the adaptation of AI-based search techniques as topologyindependent fault-tolerant routing strategies on multiprocessor networks [9]. The results sho...
158
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. Fusion queries search for information integrated from distributed, autonomous sources over the Internet. We investigate techniques for e cient processing of fusion querie...
173
click to vote
SEAL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper deals with the problem of nurse rostering in Belgian hospitals. This is a highly constrained real world problem that was (until the results of this research we...