-
Narrowband source localization in an unknown reverberant environment usingwav...
International audience -
Formalisation and verification of the Chilean electronic invoice system
We present a case study describing the formal specification and verification of the Chilean electronic invoice system, which has been defined by the Chilean taxes... -
Construction of minimization sequences for shape optimization
International audience -
Quantitative non-linear ultrasonic imaging of targets with significant acoust...
International audience -
Active contours models for image and video segmentation
Image segmentation is the partitioning of an image into regions of interest and a background. Image segmentation can be performed using an active contour algorithm in... -
Active contours models for image and video segmentation
The general issue of our work is the elaboration of region-based active contours models for image and video segmentation. We propose to segment regions or objects by... -
Combining phase and energy detection with mathematical morphology in dual tim...
International audience -
Analysis of some problems related with the Ginzburg-Landau equation
This PhD thesis describes some qualitative problems in relationship with the Ginzburg-Landau equation. -
Accurate array diagnosis from near-field measurements using ℓ1 reweighted min...
International audience
