Mathematics and Image Analysis
Paris, September 6-9, 2004
A high level scientific workshop entitled
Mathematics and Image Analysis will be held in Paris in
September 2004. This conference is organised by GDR MSPC with
support of GET, Universite Paris Dauphine, INRIA, Thales Air Defence
and DGA. The scientific program will include invited conferences at the
interface between researches in applied mathematics (PDE's, Statistical
Methods, Wavelets, Level sets, Variational methods,...) and new developments
in various areas of computer vision, related to mathematical topics including
Shape, Deformations, Motion, Restoration, Invariants, Scale-space, Information
Theory, ...
The workshop venue should be at University Paris Dauphine in the west part
of Paris.
Registration information is available in french or
english.
Talks will be given in either in English or French, according to preference of the speaker. Notice
that only about 10 of the 30 speakers have French as mothertongue and about 50 participants do not understand French.
To Subscribe to the diffusion list
for GDR MSPC
send email to "cohen - at - ceremade.dauphine.fr"
Organizing Commitee
Frédéric Barbaresco
Laurent Cohen
Rachid Deriche
Nicolas Rougon
Alain Trouvé
Laurent Younes
Scientific commitee
Yali Amit (University of Chicago) , Frédéric Barbaresco
(Thales)
Laurent Cohen (CEREMADE, Université Paris Dauphine) ,
Rachid Deriche (INRIA Sophia-Antipolis)
Olivier Faugeras (INRIA Sophia-Antipolis) , Stephane Mallat
(Ecole Polytechnique)
Nicolas Rougon (Institut National de Télécommunications)
, Guillermo Sapiro (University of Minnesota)
Alain Trouvé (CMLA, ENS de Cachan) , Laurent Younes
(Johns Hopkins University)
Long Talks |
|
Daniel Cremers (UCLA, USA)
|
Multi-modal Statistical Shape Priors
and Intrinsic Alignment for Knowledge-driven Segmentation
|
Leonidas J.
Guibas (Stanford University)
|
Local and Global Analysis for Point Cloud
Data
|
Stan Osher (UCLA, USA)
|
Using geometry and iterated
refinement for inverse problems. (1) Total
Variation Image Restoration
|
Nikos Paragios, (Ecole
Nationale des Ponts et Chaussees, France)
|
Segmentation and
Tracking of the Left Ventricle in Echocardiography
|
Jean Serra (Mines de Paris)
|
A Lattice Approach to Image Segmentation
|
Bernhard Schölkopf
(Max Planck Institute, Germany)
|
Learning with Kernels
|
Baba Vemuri (UFL, USA)
|
Variational Methods for Diffusion Weighted
MRI Restoration and Segmentation
|
Tony Yezzi (Gatech)
|
Active Contours and "Gradient" Flows:
metrics on the space of curves
|
|
|
Regular Talks |
|
Roberto Ardon (CEREMADE, Univeristy Paris
Dauphine, France)
|
Surface extraction by
minimal paths, applications in 3D Medical Images
|
Michael
M. Bronstein (Technion - Israel )
|
Expression-invariant
representation of faces
|
Freddy Bruckstein (Technion - Israel )
|
Variational Methods for Image Analysis:
Do we know what to optimize for?
|
Nicolas Brunel
(Thales Air Defence, INT)
|
Statistical Segmentation
of Doppler Radar Image based on Generalised Markov Models and Directional
Statistics
|
Frederic
Cao (IRISA, France)
|
Extracting meaningful
curves from images
|
Marco Cuturi (Ecole des Mines
de Paris)
|
A Few Semigroup Kernels for Images seen
as Bags of Pixels
|
Mathieu Desbrun (Caltech, USA)
|
Discrete Differential Calculus
|
Remco Duits (TU Eindhoven, NL)
|
Invertible Orientation Bundle
Functions based on Generalized Wavelet Theory
|
Nira Dyn (Tel Aviv University, Israel)
|
Image compression by linear
splines over adaptive triangulations
|
Laurent Garcin (CMLA, ENS Cachan, France)
|
Geodesic Matching of Shapes via Quantization
|
S. Jehan-Besson (Laboratoire GREYC Caen)
|
Shape gradient for image and
video segmentation
|
Ian Jermyn
(Ariana, INRIA Sophia Antipolis, France)
|
Higher-order active contours
|
Seongjai Kim (University
of Kentucky, USA)
|
Loss and Recovery of
Fine Structures in PDE-based Image Denoising
|
Christophe
Lenglet (Odyssée, INRIA Sophia Antipolis, France)
|
Toward Cerebral White Matter Connectivity
Estimation from Diffusion MRI
|
Simon Masnou (Universite Paris 6)
|
Image compression using
multiscale nonlinear interpolation
|
Gabriel Peyre (CMAP Polytechnique, France)
|
Second Generation Bandelets
and their Application to Image and 3D Meshes Compression
|
Emmanuel Prados (Odyssee
Lab., INRIA)
|
A mathematical framework
unifying various Shape from shading approaches
|
Florent Ranchin (CEREMADE, Paris)
|
Moving Objects Segmentation
Using Optical Flow Estimation
|
Dr
Evgueni Spodarev (Universitaet Ulm, Germany)
|
A new approach to the computation of
Minkowski functionals of polyconvex sets
|
Rene Vidal
(Johns Hopkins University, USA)
|
Segmentation of Dynamic Scenes via Generalized
Principal Component Analysis
|
Jian-Feng
Yao (IRMAR and IRISA, Rennes, France)
|
Models for mixed-states data
with application to analysis of video sequences
|
(Pretty-print pdf file for) FINAL SCHEDULE:
|
Monday, September 6 |
Tuesday, September 7 |
Wednesday, September 8 |
Thursday, September 9 |
9h - 10h45
|
9h00
Petit Dejeuner - Breakfast
Accueil
9h30 : Leonidas Guibas |
Bernhard Schölkopf
|
9h30-11h00 Daniel Cremers
|
Jean Serra
|
10h45 - 11h15 |
Marco Cuturi
|
Pause Café - Coffee Break |
11h-11h30 Christophe Lenglet |
Pause Café - Coffee Break |
11h15 - 11h45 |
M. Bronstein
|
Rene Vidal
|
|
Evgueni Spodarev
|
11h45 - 12h15 |
Frederic Cao
|
Nicolas Brunel
|
|
Jian-Feng Yao
|
12h15 - 14h |
DEJEUNER - LUNCH |
DEJEUNER - LUNCH |
DEJEUNER - LUNCH |
DEJEUNER - LUNCH |
14h - 15h45
15h15
|
Nira Dyn
S. Masnou
|
Tony Yezzi
|
Stan Osher
|
Nikos Paragios
Pause Café - Coffee Break
|
15h45 - 16h15 |
Pause Café - Coffee Break |
Pause Café - Coffee Break |
Pause Café - Coffee Break |
S. Jehan-Besson
|
16h15 - 16h45 |
Laurent Garcin
|
F. Bruckstein
|
S. Kim
|
|
16h45 - 17h15 |
Remco Duits
|
Roberto Ardon
|
M Desbrun
|
F. Ranchin
|
17h15 - 17h45 |
Gabriel Peyre
|
Ian Jermyn
|
E. Prados
|
|
|
|
|
|
|
|
|
All talks will take place in Amphi 8, second floor.
Breakfast (first day only) and Coffee breaks will be complimentary in "Bar
des Etudiants" next to Amphi 8.
Lunch is not provided by the conference. Participants are free to get lunch
from different places inside (Ground floor/Rez-de-Chauss\'ee) or outside
the university. Many restaurants can be found by taking the Bus PC1
(accross the street from the university) one or two stops away to
Porte Maillot or Porte des Ternes or the Metro to Victor Hugo or
Etoile one or two stations away. Across the street from university
you can also find restaurant ``K'fe court'' with the tennis club.
Abstracts
Roberto Ardon, joint work with Laurent
Cohen
Philips
and
CEREMADE, University Paris Dauphine, France
-----------------------------------
We present a novel method for extracting objects from 3D images under
user
given constrains. Our approach is based on an energy minimization technique.
The constrains are introduced as curves or points into the 3D image. Our
approach exploits our capability of extracting globally minimal curves
in 3D
when fixing their end points. The differential system permitting to build
the set of minimal paths joining the constraining objects, is used to
generate the minimal surface. Through a geometrical approach we derive
a
simple partial differential equation that leads to an efficient numerical
construction of this surface. In opposition to most active
models, our surface is not concerned with local minima traps and its
initialization is derived from the constraints objects given by the user.
Our paper describes a fast construction obtained by exploiting Fast Marching
algorithm and ENO schemes for conservation laws. Our algorithm has been
successfully applied to synthetic and 3D medical images.
Michael M. Bronstein
Expression-invariant representation of faces
Department of Computer Science
Technion - Israel Institute of Technology
Haifa 32000, Israel
http://visl.technion.ac.il/bron/michael
-----------------------------------
An essential question in various fields that deal
with the nature of facial
appearance is what are the invariants of the human face under various
expressions. That is, how can someone's face be given a unique description,
regardless the facial expression. Important examples include the
problem of
face recognition in computer vision, texture mapping for facial animation
in
computer graphics, emotion interpretation in psychology and measurement
of
geometric parameters of the face in cosmetic surgery. The variability
of the
face appearance due to facial mimics significantly complicates these
tasks
and challenges for a convenient model to analyze the nature of facial
expressions.
Here we suggest treating faces as deformable surfaces in the context
of
Riemannian geometry. We show that facial expressions can be modeled
as
near-isometric transformations (i.e. transformations that preserve
the
geodesic distances) of the facial surface. This observation allows
constructing a geometric invariant of the face under different expressions.
As an example, we can convert the Riemannian structure of the facial
surface
into a Euclidean one by embedding the surface into a low-dimensional
flat
space and replacing the geodesic distances by Euclidean ones.
We will exemplify the model showing a 3D face recognition system
that was
developed at the Department of Computer Science, Technion.
Alfred M. Bruckstein
Variational Methods for Image Analysis: Do we know what to optimize
for?
Department of Computer Science
Technion - Israel Institute of Technology
Haifa 32000, Israel
http://www.cs.technion.ac.il/~freddy/
-----------------------------------
While it is almost an axiom in the community that variational
methods are
outstanding tools for image analysis, it is still not always clear
what functionals should we optimize in order to meet the various
challenges encountered. A series of examples exhibiting
options and trade-offs will be presented and discussed.
Nicolas Brunel
(joint work Thales Air Defense Bagneux / INT / Paris 6)
Statistical Segmentation of Doppler Radar Image based on Generalised
Markov Models and Directional Statistics
Laboratoire CITI, Institut National des Telecommunications
9, rue Charles Fourier
91000 Evry Cedex
Tel: 01.60.76.44.52
http://www-citi.int-evry.fr/~pieczyn/
-----------------------------------
The analysis of the Radar environment and the construction of the
map
of the different clutters is one of the task of advanced Radar
signal
processing. The aim is to obtain the localisation of homogeneous
areas
of clutter and the associated mean spectral profile, in order to
have
spatially adapted algorithms (for instance in detection) in the
Radar
chain.
We propose a statistical model for the Doppler segmentation based
on
the estimation of an instantaneous auto-regressive model of the
complex radar signal. Such a model enables to sum up the whole
spectrum to the knowledge of few parameters : the reflection
coefficients and the power of the signal in each cell. The parameters
describing the auto-regressive models are split in 2 parts : an
Euclidean one that corresponds to the power and the spectral richness
of the radar signal. The other one represents a shape parameter,
and
belongs to a complex hyper sphere.
We use then a generalised Hidden Markov Chain for the segmentation
of
the clutter environment, by applying MPM rule for the estimation
of
the hidden states. The advantage of this model on usual Hidden
Markov
Chain model is that the assumption of conditional independence
of the
observations is relaxed. The dependence is taken into account by
copulas, which are a very powerful statistical concept for the
description of multivariate laws in Euclidean space. Thanks to
the
generality of copulas, it is possible to have generic statistical
estimation and restoration procedure that can be applied in a great
variety of situations. To illustrate our approach, the model used
for
the Doppler analysis of data from an atmospheric Radar is presented.
References :
Directional Statistics, K. Mardia and P. Jupp, Wiley Series in
Probability and Statistics, 1999.
Pairwise Markov Chains, PAMI, 2000.
Statistical segmentation using pairwise Markov chains and copulas,
International Statistical Signal Processing Conference, Saint Louis,
2003.
An introduction to copulas, R. Nelsen, Lectures Notes in Statistics,
Springer-Verlag, 2000.
Finite mixture models, Mac Lachlan and Peel, Wiley series in applied
probabilities, 2000.
Frederic Cao , joint work with
P. Musé and F. Sur,
Extracting meaningful curves from images
IRISA, France, CMLA, ENS Cachan
-----------------------------------
Since the beginning, Mathematical Morphology has proposed to
extract
shapes from images as connected components of level sets. These methods
have proved very efficient in shape recognition and shape analysis.
In this paper, we present an improved method to select the most meaningful
level lines (boundaries of level sets) from an image. This extraction
can be
based on statistical arguments, leading to a parameter free algorithm.
It
permits to roughly extract all pieces of level lines of an image,
that
coincide with pieces of edges. By this method, the number of
encoded
level lines is reduced by a factor 100, without any loss of shape
contents. In contrast to edge detection algorithms or snakes methods,
such
a level lines selection method delivers accurate shape elements, without
user parameter since selection parameters can be computed by Helmholtz
Principle. The paper aims at improving the original method proposed
by
Desolneux, Moisan and Morel. We give a mathematical interpretation
of the
model, which explains why some pieces of curve are overdetected. We
introduce a multiscale approach that makes the method more robust
to
noise. A more local algorithm is introduced, taking local contrast
variations into account. Finally, we empirically prove that regularity
makes detection more robust but does not qualitatively change the
results.
Ms. Yan Cao, joint work with Michael
I. Miller, Raimond L. Winslow and Laurent Younes
Large Deformation Metric Mapping of Vector Fields
Center for Imaging Science,
Johns Hopkins University
301 Clark Hall
3400 N Charles St
zip code: 21218
Baltimore, MD Country: USA
Phone: 410-516-6736 Fax: 410-516-4594
-----------------------------------
Diffusion tensor magnetic resonance imaging (DT-MRI) probes
and quantifies the anisotropic diffusion of water molecules in
biological tissues. It is becoming a routine magnetic resonance
technique for studying properties of biological tissue, including
fiber orientation. I will present a method to match diffusion tensor
magnetic resonance images (DT-MRI) through the large deformation metric
mapping of vector fields, focusing on the fiber orientations, considered
as unit vector fields on the image volume. We define a suitable action
of
diffeomorphisms on such vector fields, and provide an extension of the
Large Deformation Metric Mapping framework to this type of dataset,
resulting in optimizing for geodesics on the space of diffeomorphisms
connecting two images. Existence of the minimizers under smoothness
assumptions on the compared vector fields is proved, and coarse to fine
hierarchical strategies are detailed, to reduce both ambiguities and
computation load. This is illustrated by numerical experiment on DT-MRI
heart images.
Daniel Cremers (Joint
work with with Timo Kohlberger, Christoph Schnoerr,
Stanley Osher and Stefano Soatto)
Multi-modal Statistical Shape Priors and Intrinsic Alignment for
Knowledge-driven Segmentation
Vision Lab
Boelter Hall 3532
University of California
Los Angeles, CA 90095-1596
http://www.cs.ucla.edu/~cremers/
-----------------------------------
Recent research efforts have shown that the integration of statistical
shape priors generated from a set of training shapes can drastically
improve the segmentation of familiar objects in images containing
noise, clutter and partial occlusions.
In my presentation, I will focus on two contributions:
I will present two variants of multi-modal statistical shape models.
In contrast to existing approaches to knowledge-driven segmentation,
such multi-modal distributions do not rely on the restrictive
assumptions of a Gaussian distribution. They can therefore
model
arbitrary distributions of fairly distinct shapes such as the various
silhouettes of a 3D object or the silhouettes of a walking person.
I will present methods to generate pose invariance of the statistical
shape prior by intrinsic alignment. I will argue that this
approach
to obtain invariance by a closed form solution has two advantages:
Firstly, it does not require the numerical and iterative optimization
of explicit pose parameters. Secondly, the resulting shape
gradient
is more accurate in that it takes into account the effect of
shape/boundary variation on the pose.
I will detail these ideas both for explicit and implicit (level set)
representations of the boundary.
Links to Publications:
http://www.cs.ucla.edu/~cremers/Publications/
Marco Cuturi
A Few Semigroup Kernels for Images seen as Bags of Pixels
Ecole des Mines de Paris
-----------------------------------
As a structured object, a digital image can be decomposed into
components such as pixels or patches. This decomposition can be
efficiently represented through molecular measures over the component
space. Taking advantage of the semigroup structure of positive Radon
measures, we propose and study the class of positive definite kernels
whose value is directly computed on the space of measures as
$\phi(\mu+\mu')$ where $\mu$ and $\mu'$ represent proper feature
representations of two images $z$ and $z'$ in the space of Radon
measures. We then provide experimental results for a classification task
led on a benchmark of handwritten digits.
Mathieu Desbrun
Discrete Differential Calculus
Caltech
-----------------------------------
Discrete geometry is a central and challenging issue from the modeling
and computational perspective in several sciences, including computer
graphics. In this talk, we will explain how our initial variational
approach to surface processing has led us to investigate a discrete
theory of exterior calculus on piecewise linear n-manifolds. We will
show how some recent theoretical developments can be directly used
in
important applications such as intrinsic parameterization, isotropic
and
anisotropic smoothing and remeshing, generalized barycentric
coordinates, as well as thin-shell simulation.
Remco Duits, joint work with Maurice Duits and
Luc Florack
Invertible Orientation Bundle Functions based on Generalized Wavelet
Theory
-----------------------------------
Inspired by the human visual system we consider the construction
of---and reconstruction from---an orientation bundle function as a
local orientation score of an image, via a wavelet transform
corresponding to the left-regular representation of the Euclidean
motion group onto the Hilbert space of square integrable function on
the plane, and oriented wavelet $\psi$. Because this representation
is
reducible the general wavelet reconstruction theorem does not
apply. By means of reproducing kernel theory we formulate a new
and more general wavelet theory, which is applied to our specific
case. As a result we can quantify the well-posedness of the
reconstruction given the wavelet $\psi$ and deal with the question
of which oriented wavelet $\psi$ is practically desirable in the
sense that it both allows a stable reconstruction and a proper
detection of local elongated structures. This enables image
enhancement by means of left-invariant operators on orientation
bundle functions.
Nira Dyn, joint work with L. Demaret and A. Iske.
Image compression by linear splines over adaptive triangulations
School of Mathematical Sciences
Tel-Aviv University, Israel
-----------------------------------
A new method for image compression is presented. The method is based
on the
approximation of an image, regarded as a function, by a linear spline
over an
adapted triangulation, $D(Y)$, which is the Delaunay triangulation
of a small
set $Y$ of significant pixels. The linear spline minimizes the mean
square
error to the image, among all linear splines over $D(Y)$. The significant
pixels
in $Y$ are selected by an adaptive thinning algorithm, which recursively
removes less significant pixels in a greedy way, using a sofisticated
measure of the significance of a pixel. The proposed compression method
combines
the approximation scheme with a customized scattered data coding scheme.
We demonstrate that our compression method outperforms JPEG2000 on
two
geometric images and performs competitively with JPEG2000 on
three popular
test cases of real images.
Laurent Garcin
Geodesic Matching of Shapes via Quantization
ENS Cachan, CMLA
IGN, Laboratoire MATIS
-----------------------------------
In many domains such as medical imagery, it is important
to be able to match
shapes and to retrieve a deformation between two shapes. Here we
will assume
that the shapes are defined by points (polygons (2D) or triangulations
(3D)
vertices). The straightforward computation of the correspondences
between
points may be numerically untractable from a combinative point of
view. That's
why we decide to match quantizations of the shapes. We compute both
the
quantization and the deformation at the same time so that we are
assured that
the quantization in both shapes is adapted to the deformation and
that there
isn't any combinatory issue. The matching consists in the minimization
of an
energy composed of two terms : a quantization energy and a deformation
energy,
yielding an algorithm which is the iteration of two steps : a quantization
step
and a deformation step embedded into a deterministic annealing process.
We will
show some results both in 2D and 3D.
Leonidas J. Guibas
Local and Global Analysis for Point Cloud Data
Computer Science Department
Stanford University
Stanford, CA 94305 USA
Tel.
(650) 723-0304
Web:
http://graphics.stanford.edu/~guibas
-----------------------------------
Digital
shapes are becoming ubiquitous and require new tools
for analysis. While audio, images, or video, consist of
regularly sampled signals, scanned shapes typically
start their life as nothing more than an unorganized
collection of points irregularly sampled from the
surface of an object -- so called point cloud data. We
investigate techniques for local feature detection,
segmentation, and more global shape analysis of such
data sets. The irregular sampling creates new
challenges and leads to methods with a distinctly more
combinatorial and topological character that in
traditional signal processing.
S. Jehan-Besson (Laboratoire
GREYC Caen)
joint work with Ariane Herbulot (Laboratoire I3S Sophia Antipolis),
Michel Barlaud (Laboratoire I3S Sophia Antipolis), Gilles Aubert (Laboratoire
J.A. Dieudonné Nice)
Shape gradient for image and video segmentation
Laboratoire GREYC-Image
6, Bd Marechal Juin,
14050 Caen Cedex France.
Tel.: 02 31 45 27 01
-----------------------------------
Segmentation
may be formulated as the computation of an optimal domain with regards to
a global criterion including both region-based and boundary-based terms.
A local shape minimizer of this criterion can be reached using deformable
domains, namely region-based active contours. The basic idea is to obtain,
from the derivation of the criterion, a Partial Differential Equation (PDE)
that drives an initial region towards a local shape minimum of the error
criterion. Since the set of image regions does not have a structure of vector
space, the main difficulty lies in the derivation of the criterion according
to the domain. We show that shape derivation tools, coming from shape optimization
theory, can be used to deal with the problem.
A general framework is proposed
for the computation of the PDE from a global criterion. We focus more particularly
on the minimization of region-dependent functionals and give some results
for the associated PDE. Among region-dependent functionals, we consider
a class of functionals based on non parametric probability density functions
of image features for comparison to a prototype, or estimation of information
measures (PhD thesis of A. Herbulot). Various image and video segmentation
problems may then be treated including face or video object segmentation
as well as region matching or tracking.
References :
http://www.greyc.ismra.fr/~jehan/publi.html
http://www.i3s.unice.fr/~herbulot/
Ian Jermyn, joint work with Marie
Rochery and Josiane Zerubia.
Higher-order active contours
Ariana (joint project CNRS/INRIA/UNSA)
INRIA
2004 route des Lucioles, B.P. 93,
06902 Sophia Antipolis, France.
http://www-sop.inria.fr/ariana/personnel/Ian.Jermyn
-----------------------------------
I will describe a new class of active contour models, higher-order
polynomial energies, that hold great promise for region and shape
modelling.
The distinctive feature of the new class of models is that different
points
of the contour interact with each other in ways that depend on
the contour
geometry, and that may depend on the data. The result is that
the new
contour energies can incorporate non-trivial prior information
about
geometry, their minima representing families of contours sharing
complex
geometric properties. However, unlike most current attempts to
incorporate
geometric information into contour energies, these models do not
describe
only small, tangential variations around a 'mean' shape. In addition,
new
data energies can correlate the contour with the data in ways
that are
impossible using classical models.
Off-the-shelf contour energy minimization methods do not apply
directly to
the new models, necessitating an extension of existing level set
methods to
deal with the non-local forces that arise.
I will give an example of an energy in this class consisting of
a prior term
whose minima bear a strong resemblance to the types of network
of interest
in several types of imagery, and illustrate the possibilities
inherent in
the more sophisticated data terms. A number of results will be
shown, some
illustrating the prior behaviour of the contour in the absence
of data, and
others showing the results obtained so far in the extraction of
road
networks from optical satellite images.
INRIA Report 5063 : http://www.inria.fr/rrrt/rr-5063.html
Marie Rochery and Ian H. Jermyn and Josiane Zerubia, Higher Order Active
Contours and their Application to the Detection
of Line Networks
in Satellite Imagery. Proc. {IEEE} Workshop on Variational, Geometrical, and
Level
Set Methods in Computer Vision, VLSM'03 at ICCV, Nice, France
Satyanad Kichenassamy
(Universite de Reims, France)
The Perona-Malik equation and geometric evolutions
Professor of Mathematics and Director,
Laboratoire de Mathematiques,
Universite de Reims, France
-----------------------------------
The Perona-Malik equation (PM) is a familiar tool in
segmentation, and is generally combined with smoothing/regularization
procedures. We show on real images that the PM equation can be useful
even
when smoothing is left out, leading to faster implementation. We report
on
the recent solution of the following problems:
(i) how should one choose parameters in implementation, depending on image
characteristics?
(ii) what is the geometric interpretation of PM in terms of level set
evolution?
(iii) which continuum limit is appropriate to understand the
implementation, which lives on a discrete grid?
(iv) how can one overcome the inherent instabilities in PM without smoothing?
It will be shown that insight derived from PDE and Differential-geometric
methods is consistent both with the statistical approach and with numerical
computation.
Seongjai Kim,
Loss and Recovery of Fine Structures in PDE-based Image Denoising
Mathematics, University of Kentucky
Web page: www.ms.uky.edu/~skim
-----------------------------------
PDE-based denoising processes such as the total variation
minimization and the motion by mean curvature and their variants
often lead to significant loss of fine structures unless the
derivatives are carefully approximated.
This article is concerned with numerical techniques for PDE-based
denoising models that can preserve/recover fine structures in
the image.
The essentially non-dissipative (ENoD) schemes are considered
to minimize numerical diffusion particularly near edges.
Furthermore, effective strategies are studied for the section of
variable constraint parameters which can recover fine structures
back to the image.
Here the goal is that the residual involves no structural features.
Various examples are presented to show efficiency and reliability
of the numerical techniques.
Christophe Lenglet , joint
Work with Rachid Deriche and Olivier Faugeras
Toward Cerebral White Matter Connectivity Estimation from Diffusion
MRI
Odyssee Lab - I.N.R.I.A Sophia-Antipolis
http://www-sop.inria.fr/odyssee/team/Christophe.Lenglet/home.html
---------------------------------
Classical MRI techniques enable us to automatically distinguish
and
classify gray matter, white matter and cephalo-spinal fluid. However,
white matter retains a homogeneous aspect, preventing any observation
of
neural fibers and thus of cerebral connectivity.
In order to understand the neural bundles architecture, diffusion
MRI
has been recently developed and is currently the unique non-invasive
technique capable of probing and quantifying the anisotropic diffusion
of water molecules in biological tissues such as brain or muscles.
Motivated by the potentially dramatic improvements that knowledge
of
anatomical connectivity would bring into the understanding of functional
coupling between cortical areas, the study of neurodegenerative
diseases, acute brain ischemia detection ...etc, various methods
have
been proposed to tackle the issue of cerebral connectivity mapping.
We will present our work, based on tools from differential geometry
and
stochastic processes to infer consistent information on the neural
connectivity from diffusion MRI.
Reference:
ftp://ftp-sop.inria.fr/odyssee/Publications/2003/lenglet-deriche-etal:03.ps.gz
Simon Masnou
Image compression using multiscale nonlinear interpolation
Laboratoire Jacques Louis Lions (Paris 6)
-----------------------------------
The classical wavelet methods for image compression, like
those incorporated in the JPEG2000 standard, are known to have several
theoretical and numerical limitations, in particular for the coding
of
geometric information at very high compression rates. Several
approaches, not always based on wavelets, have been proposed in recent
years to overcome these limitations. The work that will be presented,
done in collaboration with Albert Cohen (Paris 6, France), Justin
Romberg (Caltech, USA) and Thomas Capricelli (Paris 6, France), falls
in
this category. We propose to combine a multiscale prediction/correction
approach with a nonlinear interpolation operator that was first
introduced in the context of image missing parts reconstruction. This
operator interpolates the image level lines by curves minimizing an
energy that involves both their length and their curvature. It is
directly inspired by a natural ability of our visual system to
reconstruct partially occluded objects, the so called "amodal
completion" process.
Jitendra Malik (Berkeley)
Computational Models of Grouping and Recognition
Stanley Osher, joint work with
Jinjun Xu, Wotao Yin, Martin Burger and Donald
Goldfarb
Using geometry and iterated refinement for inverse problems.
(1) Total
Variation Image Restoration
Professor of Mathematics & Director of Applied Mathematics,
University of California, Los Angeles
Director of Special Projects, Institute for Pure and Applied Mathematics
(IPAM)
Office: Math Sciences 7617F
http://www.math.ucla.edu/~sjo/
TR
: http://www.math.ucla.edu/applied/cam/index.html
-----------------------------------
Abstract: Total Variation based regularization for image restoration
was
developed by Rudin-Osher-Fatemi in the late 80's. Recently, Yves
Meyer
characterized textures as elements of the dual of BV and did some
extremely interesting analysis on the original ROF model. This
led to
practical algorithms to decompose images into structure plus texture.
Very promising results involving processing image gradients simultaneously
with images were obtained by Lysaker-Osher-Tai, based on earlier
work on
processing surfaces by Tasdizen-Whitaker-Burchard-Osher. This
has now led
to a new way of refining and enhancing the solutions to a wide
class of
inverse problems. I will discuss all this and present image restoration
results which appear to be state-of-the-art.
Nikos Paragios, joint
Work with Marie-Pierre Jolly, Maxime Taron and Rama Ramaraj
Segmentation and Tracking of the Left Ventricle in Echocardiography
Ecole Nationale des Ponts et Chaussees
6-8 Avenue Blaise Pascal,
77455 Champs sur Marne, Marne-la-Vallée Cedex 2, France
http://cermics.enpc.fr/~paragios/
-----------------------------------
Medical image processing is a growing application domain with
of computer
vision where computer-aided diagnosis is a primary objective.
Echocardiography is a low-cost, portable modality that could provide
valuable information on the operation of the heart. On the other
hand, the
low signal-to-noise ration of this modality is a major limitation
that makes
a necessity the use of prior knowledge from physiology as well
as the use
advanced mathematical techniques for its processing.
The left ventricle is one of the most critical components of the
cardiac
structure since it pumps oxygenated blood to the entire body.
In this
presentation, we introduce a set of variational components for
the complete
recovery and the segmentation of the ventricle in short and long
axes views.
The talk will address three aspects: (i) registration and modelling
of prior
knowledge using implicit representations, mutual information and
free-form
deformations, (ii) segmentation of the ventricle for short axes
views using
a locally-defined, elliptic-driven Mumford-Shah framework in a
space of
limited parameters, and (iii) time-consistent composite active
shape models
towards for the precise delineation of the ventricle in long axes
views.
Gabriel Peyre, joint work with
Stéphane Mallat
Second Generation Bandelets and their Application to Image and
3D Meshes Compression
CMAP Polytechnique, France
-----------------------------------
Wavelets and multiresolution analysis have proven to be a powerful
paradigm for image processing, and are very popular for performing
image compression and denoising. Nevertheless, for a large class
of
images, isotropic wavelets bases are not optimal mainly because they
fail to capture the directional geometric regularity present in them.
The construction of stable bases that take into account the geometry
of the image is very difficult.
The simplest class of images that have geometric regularity is formed
by functions that are regular outside a set of edge curves that are
also regular. But for natural images, we need a model that
incorporates the fact that the image intensity is not necessarily
singular at edge locations, which makes edge detection an ill-posed
problem. The Bandelet bases, proposed by Le Pennec and Mallat
[Band04], have an optimal approximation rate for this more complex
class of geometric images (contrarily to other methods such as
finite element approximation [Triang04], Curvelets [Curv04], or
Contourlets [Cont02]).
In this talk we will present the second generation of Bandelets.
This
new coding scheme introduces for the first time a multiresolution
representation of an image's geometric features. Unlike first
generation Bandelets, the second generation is a fully discrete
construction without any resampling or warping of the original image,
which enables fast and robust denoising and compression algorithms.
It also avoids segmentation and flow computation, which allows
constructing orthonormal bases over the whole image.
We will conclude this talk with some insight about the application
of
second generation Bandelets to 3D mesh compression, including how
3D
geometry and classical image processing methods are converging. We
will show that algorithms that use geometrically oriented orthogonal
bases can overcome the shortcomings of ad-hoc schemes that encode
the
geometry separately at one resolution (see [Mesh03]).
Bibliography:
[Band04] E. Le Pennec and S.Mallat, Sparse Geometrical Image Approximation
with Bandelets,
accepeted by IEEE Transaction on Image Processing
2004
[Triang04] L. Demaret, N. Dyn, and A. Iske, Image Compression by Linear
Splines over Adaptive Triangulations,
accepeted by IEEE Transaction on Image Processing
2004
[Curv04] E. Candès and D.Donoho, Curvelets: A
surprisingly effective nonadaptive representation of
objects with edges. In Curve and Surfaces Fitting, Vanderbilt
Unervisity Press 1999
[Cont02] M.N. Do and M. Vetterli, Contourlets,
In Beyond Wavelets, Academic Press 2002
[Mesh03] Pierre Alliez and Craig Gotsman, Recent Advances in
Compression of 3D Meshes
Proceedings of the Symposium on Multiresolution
in Geometric Modeling. Cambridge, September 2003.
Emmanuel Prados
A mathematical framework unifying various Shape from shading
approaches.
Odyssee Lab., INRIA
Web page: http://www-sop.inria.fr/odyssee/team/Emmanuel.Prados/index.en.html
-----------------------------------
By slightly modifying the notion of singular viscosity solutions
[Ishii-Ramaswamy:95,Camilli-Siconolfi:99,Camilli:01,Camilli-Siconolfi:02]
we define a new mathematical framework allowing to unify the various
theoretical results proposed in the Shape from shading literature.
We demonstrate the existence and the uniqueness of
the new solution
for a class of Hamilton-Jacobi equations including the classical
Shape-From-Shading equations [Prados-Faugeras:03], in a bounded
locally
Lipschitz domain. Some stability results are proved.
Finally, we propose a provably convergent numerical method for
approximating the solution and we demonstrate its relevance and
its efficiency by numerical experiments on real images.
Reference : ftp://ftp-sop.inria.fr/odyssee/Publications/2004/prados-faugeras:04b.pdf
Florent Ranchin, joint work
with Françoise Dibos
Moving Objects Segmentation Using Optical Flow Estimation
-----------------------------------
Since we can distinguish moving objects from static elements of a
scene by
analyzing norm of the optical flow vectors. We discuss first the
optical flow
estimation to be used in our segmentation model.
In order to attract the evolving contour to moving objects contours,
optical
flow magnitude one is incorporated in a region-based active contour
model
which looks like the ones used by Deriche and Paragios, or the ones
used by
Aubert, Barlaud and Jehan-Besson. We also take gray level into account
since
it is known that optical flow information does not give the exact
contours of
the objects but mixes the gray level information of the two images.
http://www.ceremade.dauphine.fr/~ranchin/article.pdf
Bernhard Schölkopf,
Prof. Dr.
Learning with Kernels
MPI for Biological Cybernetics
Dept. Schölkopf
Spemannstraße 38
72076 Tübingen
Telephone: +49-7071-601-551
Telefax:+49-7071-601-552
Room: 211
http://www.kyb.tuebingen.mpg.de/~bs
http://www.kernel-machines.org/
-----------------------------------
In the 90s, a new type of learning algorithm was developed, based
on results
from statistical learning theory: the Support Vector Machine (SVM).
This led
to a class of theoretically elegant learning machines which use
a central
concept of SVMs -- kernels -- for a number of different learning
tasks. Kernel
machines now provide a modular and simple to use framework that
can be adapted
to different tasks and domains by the choice of the kernel function
and the
base algorithm, and they have been shown to perform very well in
problems
ranging from computer vision to text categorization and applications
in
computational biology. The talk will introduce kernel methods, and,
time
permitting, describe an SVM algorithm for the estimation of implicit
surfaces.
Reference:
Schölkopf, B. and A.J. Smola: Learning with Kernels., 644,
MIT Press,
Cambridge, MA (2002). Partly available online from
http://www.learning-with-kernels.org/
Jean Serra (Mines de Paris)
A Lattice Approach to Image Segmentation
Directeur de Recherches
Centre de Morphologie Mathematique,
Ecole des Mines de Paris, 35, rue Saint-Honore
77305 Fontainebleau (FRANCE)
http://cmm.ensmp.fr/~serra/aaccueil.htm
-----------------------------------
The talk comprises two parts. Firstly, after a formal definition of
segmentation as the largest partition of the space according to a
criterion ? and a function f, the notion of a morphological connection
is reminded. It is used as an input to a central theorem of the paper,
that identifies segmentation with some classes of connections. Just
as
connections, the segmentations can then be regrouped by suprema and
infima. The generality of the theorem makes it valid for all functions
from any space to any other one. Two propositions make precise the
AND
and OR combinations of connective criteria. The segmentation classes
turn out to be independent of their location in the measuring field,
assuming that a convenient neighbourhood is experimentally
accessible. A comprehensive series of examples illustrates the
approach. The second part studies the notion of a connected
operator,
in a more restricted framework than previously. It provides
segmentations with more flexibility, and allows us to make them depend
on parameters. Hierarchies of connected filters are built, whose the
partitions increase when going up in the pyramid, and where the
various levels are structured as semi-groups. A discussion on
the
advantages and drawbacks of the proposed approach versus the
variational methods concludes the talk.
Dr Evgueni Spodarev,
joint work with Simone Klenk and Volker Schmidt.
A new approach to the computation of Minkowski functionals of
polyconvex sets
Universitaet Ulm
Abteilung Stochastik
D-89069 Ulm, Germany
Tel. (+49) (0)731 5023527
Fax: (+49) (0)731 5023649
http://www.mathematik.uni-ulm.de/stochastik/personal/spodarev/spodarev.html
other url's http://www.mathematik.uni-ulm.de/stochastik/
http://www.geostoch.de
-----------------------------------
A new fast algorithm is proposed for simultaneous computation of
all
Minkowski functionals (or, equivalently, intrinsic volumes) of sets
from the convex ring in $R^d$ discretized with respect to a given
rectangular lattice. For this purpose, a certain kind of polyhedral
approximation is used to reconstruct their boundary structure.
Furthermore, an efficient algorithm is given in order to estimate
the specific intrinsic volumes of discretized stationary random
closed sets in $R^d$ from a single realization, which is assumed
to belong to the extended convex ring. For the planar case $d=2$,
the performance and precision of these algorithms is studied on
various examples ranging from particular polyconvex sets to samples
from Boolean models. Both algorithms are implemented in Java for
two
different adjacency systems. Comparisons to other related methods
known in the literature are also provided.
Please see all references at www.geostoch.de or at my homepage under
publications.
Baba C. Vemuri, joint work with
Z. Wang, Y. Chen and T. H. Mareci.
Variational Methods for Diffusion Weighted MRI Restoration and
Segmentation
UFRF Professor & Director
Center for Computer Vision & Visualization
Dept. of CISE, E324
Univ. of Florida
Gainesville, Fl. 32611-6120
Ph, FAX:352-392-1239
http://www.cis.ufl.edu/~vemuri
-----------------------------------
Abstract
References:
http://www.cise.ufl.edu/~vemuri/vpcdwi.html
http://www.cise.ufl.edu/~vemuri/vpsegdti.html
Rene Vidal, joint work with Yi
Ma
Segmentation of Dynamic Scenes via Generalized Principal
Component Analysis
Assistant Professor of Biomedical Enginnering
Computer Science and Mechanical Engineering
Johns Hopkins University
Center for Imaging ScienceJohns Hopkins University
308B Clark Hall, 3400 N Charles St.Baltimore, MD 21218, USA
Phone-Fax-EmailVoice: 410-516-7306 Fax:410-516-4594
http://cis.jhu.edu/~rvidal/
-----------------------------------
We consider the problem of estimating and segmenting multiple
rigid-body motions from point correspondences in multiple perspective
views.
We demonstrate that the estimation of multiple motions is equivalent
to the
estimation and factorization of real or complex polynomials whose
coefficients
live on a Lie Group, and propose an algorithm based on linear algebra
to
perform
the factorization.
References:
http://www.cis.jhu.edu/~rvidal/publications/cvpr04-gpca-final.pdf
http://www.cis.jhu.edu/~rvidal/publications/eccv04-motion-final.pdf
http://www.cis.jhu.edu/~rvidal/publications/cvpr04-multiframe.pdf
Jian-Feng Yao
Models for mixed-states data with application to analysis
of video sequences
IRMAR and IRISA, Rennes, France
Université de Rennes 1, Campus de Beaulieu
F-35042 Renens Cedex, FRANCE
homepage: http://name.math.univ-rennes1.fr/jian-feng.yao
-----------------------------------
A mixed-states observation can be viewed as the following.
Under some special conditions it just records some symbolic (or atomic)
values,
while under a normal condition, the record is on a continuous
range of the real line. This type of data occurs in many situations,
including pluviometry data in meteorological
studies, or
local motion measurements from a image sequence.
A classical way to tackle with
such kind of mixed-states observations
is to introduce a hidden label process for distinguishing
between the special and normal conditions. Such a two-staged approach
is usually time-consuming and not always well-suited
in a image analysis problem, because it requires a
restoration of the label process.
In this talk we present a new approach to analyze mixed-states observations.
First spatial models will be constructed for observations on a lattice.
In particular we propose a extension of Besag's auto-models in this context
to get the so-called "mixed-states auto-models".
Secondly we will also explore a Markov chain approach
to analyze the dynamic behavior of mixed-states observations.
In our typical application on video analysis, the observations are
local motion measurements in the images. Therefore
a atomic value 0 of the measurement accounts for static regions
and a positive
value from some interval [c,d] will account for "moving objects".
We will discuss two concrete applications.
First mixed-states auto-models will be used for classification
of
"dynamic textures". Secondly we will show
how a mixed-states Markov chain can help for event detections in a video
sequence.
References:
1. C. Hardouin and J. Yao. Auto-models with mixed states, preprint
2004
2. G. Piriou, P. Bouthemy, J-F. Yao.
Extraction of semantic dynamic content from videos with
probabilistic motion models.
In European conference on computer vision, ECCV'04,
Prague, Mai 2004.
(http://www.irisa.fr/vista/Papers/2004_eccv_piriou.pdf)
Anthony Yezzi
Active Contours and "Gradient" Flows: metrics on the space of curves
Associate Professor
School of Electrical and Computer Engineering
Georgia Institute of Technology
-----------------------------------
Variational methods have been used to derive active contour models
for many years now, whether they be for segmentation, shape analysis,
smoothing, stereo reconstruction, shape from shading, etc. A common
methodology is to formulate an energy functional which both measures
the fidelity of the estimated contour (or surface) to data measurements
(typically images) as well as the desired geometric characteristics
of
the estimated contour (typically smoothness of some sort). The next
step in the typical procedure is to construct a contour gradient descent
flow from the Euler-Lagrange equation of the energy function. A question
that has been, for the most part, ignored in most of the active contour
literature is: With respect to what metric on the space of curves
is the
resulting flow truly a "gradient" flow? The most natural answer, a
geometric version of L_2, seems too obvious to merit any comment.
However, there are fundamental problems with this metric that are
not at all obvious. We will outline some of the properties associated
with this implied metric, and offer some alternatives with more
desirable properties.