6608 search results - page 977 / 1322 » On the Completeness of Model Checking |
184
click to vote
IWFM
1998
15 years 8 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
205
click to vote
PTS
1998
15 years 8 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
150
click to vote
AAAI
1994
15 years 8 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
145
Voted
AAAI
1994
15 years 8 months ago
1994
We de ne the probabilistic planning problem in terms of a probability distribution over initial world states, a boolean combination of goal propositions, a probability threshold, ...
190
click to vote
NAACL
1994
15 years 8 months ago
1994
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...