74 search results - page 8 / 15 » Introduction to the Calculus of Variations |
JAR
2010
13 years 7 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
WINE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We give a simple characterization of all single-item truthrevealing auctions under some mild (and natural) assumptions about the auctions. Our work opens up the possibili...
GIAE
2004
Springer
14 years 1 months ago
2004
Springer
This paper surveys the new, algorithmic theory of moving frames developed by the author and M. Fels. Applications in geometry, computer vision, classical invariant theory, the cal...
AMC
2010
13 years 8 months ago
2010
This article extends the Leitmann equivalence method to a class of problems featuring conjugate points. The class is characterised by the requirement that the set of indifference ...