638 search results - page 74 / 128 » Modeling interleaved hidden processes |
TAP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
WSC
2007
15 years 3 days ago
2007
Coercion combines flexible points, semi-automated optimization and expert guided manual code modification for adapting simulations to meet new requirements. Coercion can improve s...
COMPLEX
2009
Springer
15 years 1 months ago
2009
Springer
The causal states of computational mechanics define the minimal sufficient (prescient) memory for a given stationary stochastic process. They induce the -machine which is a hidden...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper a new approach for activity and dominance modeling in meetings is presented. For this purpose low level acoustic and visual features are extracted from audio and vid...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We derive an efficient learning algorithm for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a pri...