9521 search results - page 352 / 1905 » Compiling with continuations, continued |
172
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
129
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel algorithm for 2D planar curve recognition based on B-Spline modeling. It combines the advantages of the B-Spline that are continuous curve representati...
229
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
In order to support continuous queries over data streams, a plethora of suitable techniques as well as prototypes have been developed and evaluated in recent years. In particular,...
128
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper explores the issues involved in using symbolic metric algorithms for automatic speech recognition (ASR), via a structural representation of speech. This representation ...
115
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
There is currently considerable interest in developing multimedia digital libraries. However, it has become clear that existing architectures for management systems do not support...