1008 search results - page 136 / 202 » Canonicity! |
121
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
135
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
140
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
The thresholded t-map produced by the General Linear Model (GLM) gives an effective summary of activation patterns in functional brain images and is widely used for feature selecti...
131
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Accurate registration of cortical structures plays a fundamental role in statistical analysis of brain images across population. This paper presents a novel framework for...
151
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Many machine learning algorithms can be formulated as a generalized eigenvalue problem. One major limitation of such formulation is that the generalized eigenvalue problem is comp...