Sciweavers

1187 search results - page 202 / 238
» The Generalized Dimensionality Reduction Problem
Sort
View
CSL
2005
Springer
15 years 3 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
FPGA
2005
ACM
80views FPGA» more  FPGA 2005»
15 years 3 months ago
Simultaneous timing-driven placement and duplication
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
Gang Chen, Jason Cong
SIGIR
2004
ACM
15 years 3 months ago
Document clustering via adaptive subspace iteration
Document clustering has long been an important problem in information retrieval. In this paper, we present a new clustering algorithm ASI1, which uses explicitly modeling of the s...
Tao Li, Sheng Ma, Mitsunori Ogihara
CRYPTO
2004
Springer
86views Cryptology» more  CRYPTO 2004»
15 years 3 months ago
On Multiple Linear Approximations
In this paper we study the long standing problem of information extraction from multiple linear approximations. We develop a formal statistical framework for block cipher attacks b...
Alex Biryukov, Christophe De Cannière, Mich...
MCS
2004
Springer
15 years 3 months ago
Multiple Classifiers System for Reducing Influences of Atypical Observations
Atypical observations, which are called outliers, are one of difficulties to apply standard Gaussian density based pattern classification methods. Large number of outliers makes di...
Sarunas Raudys, Masakazu Iwamura