1502 search results - page 228 / 301 » Computational Realizations of Living Systems |
146
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
137
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Dynamic voltage scaling (DVS) algorithms save energy by scaling down the processor frequency when the processor is not fully loaded. Many algorithms have been proposed for periodi...
171
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
123
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Discrete-time Volterra modeling is a central topic in many application areas and a large class of nonlinear systems can be modeled using high-order Volterra series. The problem wi...
130
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...