135 search results - page 21 / 27 » Stable Takens' Embeddings for Linear Dynamical Systems |
182
click to vote
ESOP
2009
Springer
16 years 23 days ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
194
click to vote
ECRTS
2006
IEEE
16 years 19 hour ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
169
click to vote
RTCSA
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...
172
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a dynamic inference algorithm in a globally parameterized nonlinear manifold and demonstrate it on the problem of visual tracking. An appearance manifold is usually non...
189
click to vote
RTSS
2007
IEEE
16 years 7 days ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...