Sciweavers

60 search results - page 2 / 12
» On conjugate points and the Leitmann equivalent problem appr...
Sort
View
JMLR
2010
145views more  JMLR 2010»
13 years 24 days ago
Kernel Partial Least Squares is Universally Consistent
We prove the statistical consistency of kernel Partial Least Squares Regression applied to a bounded regression learning problem on a reproducing kernel Hilbert space. Partial Lea...
Gilles Blanchard, Nicole Krämer
FMCAD
2009
Springer
14 years 17 days ago
Scalable conditional equivalence checking: An automated invariant-generation based approach
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
Jason Baumgartner, Hari Mony, Michael L. Case, Jun...
INFORMATICALT
2007
104views more  INFORMATICALT 2007»
13 years 5 months ago
Key Agreement Protocol (KAP) Using Conjugacy and Discrete Logarithm Problems in Group Representation Level
The key agreement protocol based on infinite non-commutative group presentation and representation levels is proposed. Two simultaneous problems in group representation level are ...
Eligijus Sakalauskas, Povilas Tvarijonas, Andrius ...
VECPAR
2000
Springer
13 years 9 months ago
A Parallel Implementation of an Interior-Point Algorithm for Multicommodity Network Flows
A parallel implementation of the specialized interior-point algorithm for multicommodity network flows introduced in [5] is presented. In this algorithm, the positive definite syst...
Jordi Castro, Antonio Frangioni
FSS
2008
89views more  FSS 2008»
13 years 6 months ago
On the equivalence of some approaches to the OWA operator and RIM quantifier determination
The ordered weighted averaging (OWA) operator is a widely used aggregation method, and its determination is usually a prerequisite step in many related applications. The regular i...
Xinwang Liu, Hongwei Lou