11716 search results - page 181 / 2344 » Computable symbolic dynamics |
187
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present an example of a joint spatial and temporal task learning algorithm that results in a generative model that has applications for on-line visual control. We review work o...
158
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper introduces a novel algorithm for biological sequence compression that makes use of both statistical properties and repetition within sequences. A panel of experts is ma...
151
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we describe an evolutionary approach to inducing a generative model of expressive music performance for Jazz saxophone. We begin with a collection of audio recordin...
176
click to vote
ISSAC
2007
Springer
16 years 19 days ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
166
click to vote
VMCAI
2007
Springer
16 years 18 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...