Sciweavers

1686 search results - page 83 / 338
» Higher Order Deforestation
Sort
View
139
Voted
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 11 months ago
On optimal input signal design for frequency response estimation
This paper studies optimal input excitation design for parametric frequency response estimation. We will focus on least-squares estimation of Finite Impulse Response (FIR) models a...
Bo Wahlberg, Håkan Hjalmarsson, Petre Stoica
137
Voted
CSL
2007
Springer
15 years 10 months ago
Unbounded Proof-Length Speed-Up in Deduction Modulo
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
Guillaume Burel
DATE
2005
IEEE
126views Hardware» more  DATE 2005»
15 years 9 months ago
The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits
We investigate a new fault ordering heuristic for test generation in full-scan circuits. The heuristic is referred to as the accidental detection index. It associates a value ADI ...
Irith Pomeranz, Sudhakar M. Reddy
BIRTHDAY
2007
Springer
15 years 10 months ago
Orderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
Cristina Borralleras, Albert Rubio
ICONIP
1998
15 years 5 months ago
Comparison among Three Estimators for High Order Statistics
Most of recent and important algorithms in signal processing (for blind identification or separation, etc) are based on higher order statistics (HOS). And most of them use a crite...
Ali Mansour, Allan Kardec Barros, Noboru Ohnishi