1806 search results - page 193 / 362 » Some Functions Computable with a Fused-Mac |
387
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We introduce a morphological approach to curve evolution. The
differential operators used in the standard PDE snake models can be
approached using morphological operations...
168
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
169
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...
158
click to vote
DAGM
2007
Springer
16 years 19 days ago
2007
Springer
Recursive estimation or Kalman filtering usually relies on explicit model functions, that directly and explicitly describe the effect of the parameters on the observations. Howeve...
135
click to vote
ECTEL
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...