Search - Département STIC Access content directly

Filter your results

1 908 Results

Modular Deployment of UML Models for V&V Activities and Embedded Execution

Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Conference papers hal-02929122v1
Image document

Simulating a random vector conditionally to a subvariety: a generic dichotomous approach

Frédéric Dambreville
Preprints, Working Papers, ... hal-03164754v1
Image document

High contrast and resolution 3-D ultrasonography with a clinical linear transducer array scanned in a rotate-translate geometry

Théotim Lucas , Isabelle Quidu , S. Lori Bridal , Jerome Gateau
Applied Sciences, 2021, 11 (2), pp.493. ⟨10.3390/app11020493⟩
Journal articles hal-03011745v2
Image document

Spatio-temporal weighting for underwater source localization in the context of coherence loss

Riwal Lefort , Angélique Dremeau
Proceedings of the Institute of Acoustics, 2016, 38
Journal articles hal-02892465v1
Image document

GLRT subspace detection for range and Doppler distributed targets

Nicolas Bon , Ali Khenchaf , René Garello
IEEE Transactions on Aerospace and Electronic Systems, 2008, 44 (2), pp.678 - 696. ⟨10.1109/TAES.2008.4560214⟩
Journal articles hal-02891989v2
Image document

Assessing inter-annotator agreement from collaborative annotation campaign in marine bioacoustics

Paul Nguyen Hong Duc , Maëlle Torterotot , Flore Samaran , Paul R. White , Odile Gérard , et al.
Ecological Informatics, 2021, 61, pp.101185-1 - 101185-12. ⟨10.1016/j.ecoinf.2020.101185⟩
Journal articles hal-03028306v1

A Prototyping Platform for Virtual Reconfigurable Units

Loïc Lagadec , Jean-Christophe Le Lann , Théotime Bollengier
RECOSOC 2014, May 2014, Montpellier, France
Conference papers hal-01006128v1
Image document

Passive geoacoustic inversion with a single hydrophone using broadband ship noise

Cedric Gervaise , Bazile Kinda , Julien Bonnel , Yann Stéphan , Simon Vallez
Journal of the Acoustical Society of America, 2012, 131 (3), pp.1999-2010
Journal articles hal-00857182v2

An approach for describing concurrency and communication of heterogeneous systems

Papa Issa Diallo , Joël Champeau , Vincent Leilde
BM-FA'11, Jun 2011, Birmingham, United Kingdom
Conference papers hal-01156533v1

Context-aware Veri cation of a Landing Gear System

Philippe Dhaussy , Ciprian Teodorov
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Conference papers hal-01006697v1

Automatic Sea-Surface Obstacle Detection and Tracking in Forward-Looking Sonar Image Sequences

Imen Karoui , Isabelle Quidu , Michel Legris
IEEE Transactions on Geoscience and Remote Sensing, 2015, Geoscience and Remote Sensing, IEEE Transactions on, 53 (8), pp.4461-4469. ⟨10.1109/TGRS.2015.2405672⟩
Journal articles hal-01203532v1

Blind Separation of Underwater Acoustic Signals

Ali Mansour , Benchekroun Nabih , Cedric Gervaise
Independent Component Analysis and Blind source Separation, Lecture Notes in Computer Science 3889, 2006, Charleston, United States
Conference papers hal-00802832v1

Sensitivity of Shipborne GNSS Estimates to Processing Modeling Based on Simulated Dataset

Aurélie Panetier , Pierre Bosser , Ali Khenchaf
Sensors, 2023, 23 (14), pp.6605. ⟨10.3390/s23146605⟩
Journal articles hal-04169959v1

Automatic Formal Model Derivation from Use Cases

Amine Raji , Philippe Dhaussy
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
Conference papers hal-00517270v1

Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles

Philippe Dhaussy , Jean-Charles Roger
Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
Conference papers hal-00517289v1

Vers la gestion de la cohérence dans les processus multi-modèles métier

Theurer Wolfgang , François Mekerke , Joël Champeau , Philippe Dhaussy
Congrès francophone du management de projet, 2004, France
Conference papers hal-00517292v1
Image document

A new interval-based method to characterize estimability

Olivier Reynet , Luc Jaulin
International Journal of Adaptive Control and Signal Processing, 2011, 25 (3), pp.288-294. ⟨10.1002/acs.1187⟩
Journal articles hal-00518505v1

HFSW Radar model: Simulation and measurement

Samuel Grosdidier , Alexandre Baussard , Ali Khenchaf
IEEE Transactions on Geoscience and Remote Sensing, 2010, 48 (9), pp.3539-3549
Journal articles hal-00518509v1

Using ISAR images for aircraft recognition

Abdelmalek Toumi , Ali Khenchaf
SET-160 Symposium on "NCI/ATR in Air-Ground and Maritime Applications based on Radar and Acoustics", address = Greece, year = 2010, month = october, pdf = 0, nat = 0, keyword = signal processing,, 2010, France. pp.Non renseigne
Conference papers hal-00518511v1

2D cross-phiB-energy operator for images analysis

Jean-Christophe Cexus , Abdel Boudraa , Alexandre Baussard , F.H. Ardeyeh , Ehs Diop
4th International Symposium on Communications, Control and Signal Processing, ISCCSP, Mar 2010, Limassol, Cyprus. pp.Non renseigne
Conference papers hal-00518521v1

Reliability and combination rule in the theory of belief functions

A. Martin
Information Fusion, address = Seattle, USA, year = 2009, month = 6-9 July, nat = 0, pdf = 1, keyword = FAD; belief function; multi-view; sonar,, 2009, France. pp.Non renseigne
Conference papers hal-00518546v1

Theoretical optical flow for target position prediction on FLS images

Isabelle Quidu , Yann Dupas , Luc Jaulin
Undewater Acoustic Measurements: Technologies & Results, Jun 2009, Nafplion, Greece. pp.Non renseigne
Conference papers hal-00518550v1

Système Automatique de reconnaissance de cibles radar : Problématique de l`extraction de la forme

Mn Saidi , Abdelmalek Toumi , Brigitte Hoeltzener , Ali Khenchaf , D. Aboutajdine
Atelier Fouille de données complexes dans un processus d`extraction de connaissance, Extraction et Gestion des Connaissances (EGC), address = Strasbourg, France, year = 2009, month = 27-30 January, pdf = 1, nat = 1, keyword = FAD,, 2009, France. pp.Non renseigne
Conference papers hal-00518561v1

An improved two-scale model for the ocean surface bistatic scattering

Naheed Sajjad , Ali Khenchaf , Arnaud Coatanhay , Ahmad Awada
IGARSS, Jun 2008, Boston, United States. pp.Non renseigne
Conference papers hal-00518566v1

Chimney gas detection in seismic imaging using morphology and optical flow

Mounir Dhibi , Helene Thomas , Ali Khenchaf
IEEE-Computational Intelligence Society, ICAISC 2008, address = Zakopane, Poland, year = 2008, month = 22-26 June, nat = 0, pdf = 1,, 2008, France. pp.Non renseigne
Conference papers hal-00518577v1

Performances of a multi-static model of sound scattering by rough surfaces

Virginie Jaud , Cedric Gervaise , Ali Khenchaf
Acoustics`08/ECUA08, address = Paris, France, year = 2008, month = 29 June-4 July, nat = 0, pdf = 1,, 2008, France. pp.Non renseigne
Conference papers hal-00518586v1

Le Projet MOPS - La perception du milieu marin par un système de mesure passive utilisant les signaux GNSS

Arnaud Coatanhay , René Garello , Bertrand Chapron , Fabrice Ardhuin
Sea Tech week, Oct 2008, Brest, France. pp.Non renseigne
Conference papers hal-00518602v1

Electromagnetic Propagation in Troposphere: Inverse Problem Using Optimization Approaches

Mohamed Ayari , Arnaud Coatanhay
Mathematical and Numerical Aspects of Wave Propagation WAVES, 2003, pp.Non renseigne
Journal articles hal-00518828v1

Feasibility of passive oceanic acoustic tomography : a Cramer Rao bounds approach

D. Gaucher , Cedric Gervaise
OCEANS, address = San Diego, USA, year = 2003, month = 22-26 September, nat = 0,, 2003, France. pp.Non renseigne
Conference papers hal-00518838v1

Improving the Radar Target Classification Results by Decision Fusion

Emanuel Radoi , Brigitte Hoeltzener , Fabrice Pellen
RADAR 2003, address = Adelaide, Austria, year = 2003, month = September, nat = 0, keyword = FAD,, 2003, France. pp.Non renseigne
Conference papers hal-00518844v1