Sciweavers

4057 search results - page 526 / 812
» Linear combination of transformations
Sort
View
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 8 months ago
Rewriting modulo in Deduction modulo
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
Frédéric Blanqui
JIKM
2006
136views more  JIKM 2006»
13 years 8 months ago
Decision Support Systems Using Ensemble Genetic Programming
Abstract. This paper proposes a decision support system for tactical air combat environment using a combination of unsupervised learning for clustering the data and an ensemble of ...
Ajith Abraham, Crina Grosan
NA
2006
75views more  NA 2006»
13 years 8 months ago
Least-squares spectral collocation with the overlapping Schwarz method for the incompressible Navier-Stokes equations
A least-squares spectral collocation scheme is combined with the overlapping Schwarz method. The methods are succesfully applied to the incompressible Navier-Stokes equations. The...
Wilhelm Heinrichs
PRL
2008
133views more  PRL 2008»
13 years 8 months ago
Better multiclass classification via a margin-optimized single binary problem
We develop a new multiclass classification method that reduces the multiclass problem to a single binary classifier (SBC). Our method constructs the binary problem by embedding sm...
Ran El-Yaniv, Dmitry Pechyony, Elad Yom-Tov
TCS
2008
13 years 8 months ago
Motif patterns in 2D
Motif patterns consisting of sequences of intermixed solid and don't care characters have been introduced and studied in connection with pattern discovery problems of computa...
Alberto Apostolico, Laxmi Parida, Simona E. Rombo