Sciweavers

479 search results - page 57 / 96
» An Algebra of Pareto Points
Sort
View
LISP
2006
91views more  LISP 2006»
13 years 9 months ago
Polymorphic typed defunctionalization and concretization
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
François Pottier, Nadji Gauthier
IJBC
2007
86views more  IJBC 2007»
13 years 9 months ago
Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
Balázs Bánhelyi, Tibor Csendes, Barn...
ECCV
2010
Springer
14 years 9 days ago
5D Motion Subspaces for Planar Motion
In practice, rigid objects often move on a plane. The object then rotates around a fixed axis and translates in a plane orthogonal to this axis. For a concrete example, think of a...
ICPR
2002
IEEE
14 years 11 months ago
Planar Shape Recognition across Multiple Views
Multiview studies in Computer Vision have concentrated on the constraints satisfied by individual primitives such as points and lines. Not much attention has been paid to the prop...
Sujit Kuthirummal, C. V. Jawahar, P. J. Narayanan
ISBI
2006
IEEE
14 years 10 months ago
Segmenting a beating heart using polysegment and Spatial GPCA
Given a volume of cardiac MR images, we consider the problem of segmenting the heart based on intensity and dynamics. We first segment the heart and the chest from the background ...
Avinash Ravichandran, René Vidal, Henry Hal...