Sciweavers

2950 search results - page 6 / 590
» Computing with Infinitely Many Processes
Sort
View
123
Voted
LPAR
2010
Springer
14 years 11 months ago
Infinite Families of Finite String Rewriting Systems and Their Confluence
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
Jean-Pierre Jouannaud, Benjamin Monate
115
Voted
FORMATS
2007
Springer
15 years 5 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
106
Voted
ICASSP
2011
IEEE
14 years 5 months ago
Arccosine kernels: Acoustic modeling with infinite neural networks
Neural networks are a useful alternative to Gaussian mixture models for acoustic modeling; however, training multilayer networks involves a difficult, nonconvex optimization that...
Chih-Chieh Cheng, Brian Kingsbury
98
Voted
JAT
2010
51views more  JAT 2010»
14 years 8 months ago
Optimal adaptive computations in the Jaffard algebra and localized frames
We study the efficient numerical solution of infinite matrix equations Au = f for a matrix A in the Jaffard algebra. These matrices appear naturally via frame discretizations in m...
Stephan Dahlke, Massimo Fornasier, Karlheinz Gr&ou...
SOFSEM
1997
Springer
15 years 5 months ago
On Finite Representations of Infinite-State Behaviours
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
Antonín Kucera