11716 search results - page 206 / 2344 » Computable symbolic dynamics |
165
click to vote
ICPR
2010
IEEE
16 years 5 days ago
2010
IEEE
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
169
click to vote
PLISP
1989
15 years 10 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...
174
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
A new way to detect arrows in line drawings is proposed in this paper. Our approach is based on the definition of the structure of such a symbol. Signatures of angular areas are ...
161
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
191
click to vote
ISSAC
2001
Springer
15 years 11 months ago
2001
Springer
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...