1246 search results - page 83 / 250 » Recursive Timed Automata |
114
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
109
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
We consider estimation of the noise spectral variance from speech signals contaminated by highly nonstationary noise sources. In each time frame, for each frequency bin, the noise...
72
Voted
NIPS
2008
15 years 2 months ago
2008
This paper describes a recursive estimation procedure for multivariate binary densities using orthogonal expansions. For d covariates, there are 2d basis coefficients to estimate,...
107
Voted
FLAIRS
2006
15 years 2 months ago
2006
A conditioning graph is a form of recursive factorization which minimizes the memory requirements and simplifies the implementation of inference in Bayesian networks. The time com...
98
Voted
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...