7064 search results - page 219 / 1413 » From States to Histories |
150
click to vote
AML
2006
15 years 6 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
166
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
MDPs are an attractive formalization for planning, but realistic problems often have intractably large state spaces. When we only need a partial policy to get from a fixed start s...
179
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
164
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we introduce an algebraic approach to the foundations of data mining. Our approach is based upon two algebras of functions de ned over a common state space X and a ...
174
click to vote
PTS
2008
15 years 8 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...