4520 search results - page 303 / 904 » Algebraic Techniques for Timed Systems |
143
click to vote
UIST
1993
ACM
15 years 11 months ago
1993
ACM
Skimming or browsing audio recordings is much more difficult than visually scanning a document because of the temporal nature of audio. By exploiting properties of spontaneous spe...
189
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
188
click to vote
LCTRTS
2004
Springer
16 years 24 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
181
Voted
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Consider the online regression problem where the dependence of the outcome yt on the signal xt changes with time. Standard regression techniques, like Ridge Regression, d...
217
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Given a set of real-time tasks scheduled using the earliest deadline first (EDF) algorithm, we discuss two techniques for reducing power consumption while meeting all timing requi...