Sciweavers

1158 search results - page 85 / 232
» Software is discrete mathematics
Sort
View
SGP
2004
14 years 16 days ago
A Remeshing Approach to Multiresolution Modeling
Providing a thorough mathematical foundation, multiresolution modeling is the standard approach for global surface deformations that preserve fine surface details in an intuitive ...
Mario Botsch, Leif Kobbelt
SODA
2003
ACM
158views Algorithms» more  SODA 2003»
13 years 11 months ago
Comparing top k lists
Motivated by several applications, we introduce various distance measures between “top k lists.” Some of these distance measures are metrics, while others are not. For each of...
Ronald Fagin, Ravi Kumar, D. Sivakumar
ENTCS
2007
101views more  ENTCS 2007»
13 years 10 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
PAMI
2007
129views more  PAMI 2007»
13 years 9 months ago
Algorithmic Differentiation: Application to Variational Problems in Computer Vision
Abstract— Many vision problems can be formulated as minimization of appropriate energy functionals. These energy functionals are usually minimized, based on the calculus of varia...
Thomas Pock, Michael Pock, Horst Bischof
DGCI
2005
Springer
14 years 3 months ago
Algorithms for the Topological Watershed
The watershed transformation is an efficient tool for segmenting grayscale images. An original approach to the watershed [1,9] consists in modifying the original image by lowering...
Michel Couprie, Laurent Najman, Gilles Bertrand