504 search results - page 16 / 101 » Explaining Verification Conditions |
AAAI
2004
13 years 9 months ago
2004
Information Extraction methods can be used to automatically "fill-in" database forms from unstructured data such as Web documents or email. State-of-the-art methods have...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
SAC
2010
ACM
13 years 8 months ago
2010
ACM
In this paper, we consider the problem of speaker verification as a two-class object detection problem in computer vision, where the object instances are 1-D short-time spectral v...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...