327 search results - page 26 / 66 » Model Checking and Evidence Exploration |
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
To date there has been limited published work in the construction management and engineering literature that has provided empirical evidence to demonstrate that IT can improve org...
CSDA
2006
13 years 8 months ago
2006
Models for incomplete longitudinal data under missingness not at random have gained some popularity. At the same time, cautionary remarks have been issued regarding their sensitiv...
ICVS
2003
Springer
14 years 1 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
ICASSP
2011
IEEE
13 years 10 days ago
2011
IEEE
Improving on recent work on joint source-filter analysis of speech waveforms, we explore improvements to an autoregressive model with exogenous inputs represented by flexible ba...
CAV
2010
Springer
14 years 14 days ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...