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.