3007 search results - page 364 / 602 » Linear Functional Fixed-points |
121
Voted
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
We propose a new detection algorithm for functional magnetic resonance imaging (fMRI) data. Our basic idea is to use an extended Kalman filter (EKF) to fit a general linear model ...
138
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
130
Voted
RECOMB
2008
Springer
16 years 3 months ago
2008
Springer
Comparative analysis of protein networks has proven to be a powerful approach for elucidating network structure and predicting protein function and interaction. A fundamental chall...
154
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
134
Voted
ICCD
2008
IEEE
16 years 16 days ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...