Sciweavers

756 search results - page 57 / 152
» Model Order Reduction for Nonlinear IC Models
Sort
View
ICRA
2002
IEEE
89views Robotics» more  ICRA 2002»
15 years 2 months ago
Dynamically Tuned Design of the MFI Thorax
This paper presents an analysis of the major mechanical component (the thorax) of the micromechanical flying insect (MFI), a centimeter sized aerial vehicle currently in developm...
Srinath Avadhanula, Robert J. Wood, Domenico Campo...
DAC
2005
ACM
15 years 10 months ago
Correlation-preserved non-gaussian statistical timing analysis with quadratic timing model
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
Lizheng Zhang, Weijen Chen, Yuhen Hu, John A. Gubn...
B
2007
Springer
15 years 4 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
ICASSP
2008
IEEE
15 years 4 months ago
Temporal masking for bit-rate reduction in audio codec based on Frequency Domain Linear Prediction
Audio coding based on Frequency Domain Linear Prediction (FDLP) uses auto-regressive model to approximate Hilbert envelopes in frequency sub-bands for relatively long temporal seg...
Sriram Ganapathy, Petr Motlícek, Hynek Herm...
CLEF
2006
Springer
15 years 1 months ago
Vocabulary Reduction and Text Enrichment at WebCLEF
Nowadays, cross-lingual Information Retrieval (IR) is one of the greatest challenges to deal with. Besides, one of the most important issues in IR consists in the corpus vocabular...
Franco Rojas López, Héctor Jim&eacut...