488 search results - page 23 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ACL
2011
14 years 2 months ago
2011
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
IGPL
2006
14 years 11 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
AI
2008
Springer
14 years 11 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...