3819 search results - page 249 / 764 » Simple Easy Terms |
174
click to vote
JCT
2011
15 years 2 months ago
2011
The Pieri rule expresses the product of a Schur function and a single row Schur function in terms of Schur functions. We extend the classical Pieri rule by expressing the product ...
328
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
A simple and adaptive single image dehazing algorithm is proposed in this work. Based on the observation that a hazy image has low contrast in general, we attempt to restore the o...
228
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
153
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Combination of structure and content features is necessary for effective retrieval and classification of XML documents. Composite kernels provide a way for fusion of content and s...
171
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
We apply classic online learning techniques similar to the perceptron algorithm to the problem of learning a function defined on a graph. The benefit of our approach includes simp...