Sciweavers

33356 search results - page 95 / 6672
» Models of Continual Computation
Sort
View
ICASSP
2011
IEEE
14 years 8 months ago
Large vocabulary continuous speech recognition with context-dependent DBN-HMMS
The context-independent deep belief network (DBN) hidden Markov model (HMM) hybrid architecture has recently achieved promising results for phone recognition. In this work, we pro...
George E. Dahl, Dong Yu, Li Deng, Alex Acero
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 9 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha