Sciweavers

1190 search results - page 18 / 238
» The Continuing Quest for Abstraction
Sort
View
CONCUR
2008
Springer
13 years 11 months ago
Abstraction for Stochastic Systems by Erlang's Method of Stages
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...
ECML
2007
Springer
14 years 1 months ago
Efficient Continuous-Time Reinforcement Learning with Adaptive State Graphs
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
Gerhard Neumann, Michael Pfeiffer, Wolfgang Maass
VTC
2006
IEEE
14 years 4 months ago
On the Peak Factor of Sampled and Continuous Signals
Abstract: The peak factor of a continuous digitallymodulated signal is often analyzed from its samples taken at the Nyquist rate. This, however, may involve a significant error. It...
Sergey Loyka, François Gagnon
ESANN
1998
13 years 11 months ago
Speech recognition with a new hybrid architecture combining neural networks and continuous HMM
Abstract. In this paper, we focus on a novel NN/HMM architecture for continuous speech recognition. The architecture incorporates a neural feature extraction to gain more discrimin...
Daniel Willett, Gerhard Rigoll
FM
2009
Springer
101views Formal Methods» more  FM 2009»
14 years 2 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...