Sciweavers

8486 search results - page 82 / 1698
» Ordered Enumeration Method
Sort
View
IEEECGIV
2005
IEEE
14 years 1 months ago
Surface Modelling Using Fourth Order Geometric Flows
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...
Guoliang Xu, Qing Pan
FPL
2004
Springer
93views Hardware» more  FPL 2004»
14 years 1 months ago
Second Order Function Approximation Using a Single Multiplication on FPGAs
Abstract. This paper presents a new scheme for the hardware evaluation of elementary functions, based on a piecewise second order minimax approximation. The novelty is that this ev...
Jérémie Detrey, Florent de Dinechin
CADE
2010
Springer
13 years 8 months ago
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
Markus Aderhold
TSP
2008
134views more  TSP 2008»
13 years 7 months ago
MIMO Instantaneous Blind Identification Based on Second-Order Temporal Structure
Blind identification is of paramount importance for well-known signal processing problems such as Blind Signal Separation and Direction Of Arrival (DOA) estimation. This paper pre...
Jakob van de Laar, Marc Moonen, Piet C. W. Sommen
CVPR
2009
IEEE
15 years 2 months ago
A Tensor-Based Algorithm for High-Order Graph Matching
This paper addresses the problem of establishing correspondences between two sets of visual features using higher-order constraints instead of the unary or pairwise ones used in...
Francis R. Bach, In-So Kweon, Jean Ponce, Olivier ...