756 search results - page 112 / 152 » Model Order Reduction for Nonlinear IC Models |
CMSB
2004
Springer
15 years 1 months ago
2004
Springer
We propose a robust estimation method of gene networks based on microarray gene expression data. It is well-known that microarray data contain a large amount of noise and some outl...
SIAMAM
2008
14 years 9 months ago
2008
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
CRYPTO
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
134
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Scene ow is the 3D motion eld of points in the world. Given N (N > 1) image sequences gather ed with a N-eye stereo camera or N calibrated cameras, we present a novel system wh...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...