971 search results - page 85 / 195 » Approximate Satisfiability and Equivalence |
ECIR
2003
Springer
15 years 2 months ago
2003
Springer
In this paper we present an initial study on the use of both high and low level MPEG-7 descriptions for video retrieval. A brief survey of current XML indexing techniques shows tha...
87
Voted
ANOR
2008
15 years 25 days ago
2008
In inexact Newton methods for solving nonlinear systems of equations, an approximation to the step sk of the Newton's system J(xk)s = -F(xk) is found. This means that sk must...
114
click to vote
CAGD
2008
15 years 24 days ago
2008
In this paper, the geometric Lagrange interpolation of four points by planar cubic Pythagorean-hodograph (PH) curves is studied. It is shown that such an interpolatory curve exist...
103
Voted
CVGIP
2002
15 years 15 days ago
2002
This paper proposes a simple approach to the affine motion interpolation problem, where an affine spline motion is generated that interpolates a given sequence of affine keyframes...
97
Voted
MOC
1998
15 years 10 days ago
1998
In this paper a least squares method, using the minus one norm developed by Bramble, Lazarov, and Pasciak, is introduced to approximate the solution of the Reissner-Mindlin plate p...