507 search results - page 47 / 102 » Counterexample-Guided Abstraction Refinement |
90
Voted
AIPS
1998
15 years 2 months ago
1998
This paper addresses the search control problemof selecting whichplan to refine next for decision-theoretic planners, a choice point commonto the decision theoretic planners creat...
117
Voted
JAR
2006
15 years 18 days ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
144
click to vote
ANTSW
2004
Springer
15 years 4 months ago
2004
Springer
ed Abstract We present two heuristic mesh-partitioning methods, both of which build on the multiple ant-colony algorithm in order to improve the quality of the mesh partitions. The...
211
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- We present an original graph embedding to speedup distance-range and k-nearest neighbor queries on static and/or dynamic objects located on a (weighted) graph. Our metho...
90
Voted
AMAST
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...