152 search results - page 9 / 31 » A formal mathematical framework for modeling probabilistic h... |
FORMATS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
ICIP
2008
IEEE
14 years 8 months ago
2008
IEEE
In this paper, we analyze the formation of blocking artifacts as a result of quantization of the discrete cosine transform (DCT) coefficients. These artifacts are known to be the ...
CLEIEJ
2006
13 years 6 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
ACL
2003
13 years 8 months ago
2003
We introduce a probabilistic noisychannel model for question answering and we show how it can be exploited in the context of an end-to-end QA system. Our noisy-channel system outp...
ICMCS
2005
IEEE
14 years 9 days ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...