3446 search results - page 669 / 690 » A Reasoning Algorithm for pD* |
106
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
103
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
106
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
110
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
125
click to vote
KDD
2000
ACM
15 years 4 months ago
2000
ACM
Many important problems involve clustering large datasets. Although naive implementations of clustering are computationally expensive, there are established efficient techniques f...