172 search results - page 4 / 35 » Testing Reactive Probabilistic Processes |
JSS
2008
14 years 10 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
NAACL
1994
14 years 11 months ago
1994
A new mapping algorithm for speech recognition relates the features of simultaneous recordings of clean and noisy speech. The model is a piecewise nonfinear transformation appfied...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
ESOP
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
RAS
2010
14 years 8 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...