504 search results - page 3 / 101 » Explaining Verification Conditions |
HVC
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
NIPS
2000
13 years 6 months ago
2000
Explaining away has mostly been considered in terms of inference of states in belief networks. We show how it can also arise in a Bayesian context in inference about the weights g...
IAT
2010
IEEE
13 years 3 months ago
2010
IEEE
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
SYNTHESE
2011
13 years 8 days ago
2011
: ic models invariably involve some degree of idealization, abstraction, or fictionalization of their target system. Nonetheless, I argue that there are circumstances under which s...
CVPR
1999
IEEE
14 years 7 months ago
1999
IEEE
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...