12 search results - page 3 / 3 » Rule reduction for efficient inferencing in similarity based... |
TACAS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
IJCAI
1989
13 years 6 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...