Sciweavers

74 search results - page 4 / 15
» Introduction to the Calculus of Variations
Sort
View
ASIACRYPT
2003
Springer
13 years 10 months ago
Index Calculus Attack for Hyperelliptic Curves of Small Genus
We present a variation of the index calculus attack by Gaudry which can be used to solve the discrete logarithm problem in the Jacobian of hyperelliptic curves. The new algorithm h...
Nicolas Thériault
CADE
2006
Springer
14 years 5 months ago
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
Roy Dyckhoff, Delia Kesner, Stéphane Lengra...
MOC
2000
88views more  MOC 2000»
13 years 5 months ago
A posteriori error estimation for variational problems with uniformly convex functionals
The objective of this paper is to introduce a general scheme for deriving a posteriori error estimates by using duality theory of the calculus of variations. We consider variationa...
Sergey I. Repin
MICCAI
2007
Springer
14 years 6 months ago
Variational Guidewire Tracking Using Phase Congruency
We present a novel method to track a guidewire in cardiac x-ray video. Using variational calculus, we derive differential equations that deform a spline, subject to intrinsic and e...
Gregory G. Slabaugh, Koon Kong, Gozde B. Unal, Ton...
CVPR
2004
IEEE
14 years 7 months ago
Pointwise Motion Tracking in Echocardiographic Images
In this paper, we study the problem of pointwise motion tracking in echocardiographic images. We show that decorrelation between tissue motion and intensity variation is inevitabl...
Weichuan Yu, Ping Yan, Albert J. Sinusas, Karl Thi...