688 search results - page 49 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
In real-world environments it usually is difficult to specify target operating conditions precisely, for example, target misclassification costs. This uncertainty makes building ro...
FLAIRS
2004
13 years 9 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract Purpose: This paper presents the preliminary results of a semiautomatic method for prostate segmentation of Magnetic Resonance Images (MRI) which aims to be incorporated i...