3670 search results - page 286 / 734 » Linear Recursive Functions |
147
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The Extended Baum-Welch (EBW) Transformations is one of a variety of techniques to estimate parameters of Gaussian mixture models. In this paper, we provide a theoretical framewor...
174
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
171
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
162
click to vote
RAM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an algorithm for computing the distance between a point and a convex cone in n-dimensional space. The convex cone is specified by the set of all nonnegative com...
174
click to vote
FSTTCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...