Skip to Main content Skip to Navigation

Search by documents



...
hal-01782563v1  Conference papers
Nadezhda BaklanovaWilmer RicciottiJan-Georg SmausMartin Strecker. Abstracting an Operational Semantics to Finite Automata
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp.109-123, ⟨10.1007/978-3-319-30246-1_7⟩
...
hal-01346492v1  Conference papers
Ronan HamonValentin EmiyaCédric Févotte. Convex nonnegative matrix factorization with missing data
IEEE International Workshop on Machine Learning for Signal Processing, Sep 2016, Vietri sul Mare, Salerno, Italy
hal-03434697v1  Conference papers
Stéphane Le RouxÉrik Martin-DorelJan-Georg Smaus. An Existence Theorem of Nash Equilibrium in Coq and Isabelle
8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Sep 2017, Rome, Italy. pp.46-60, ⟨10.4204/EPTCS.256.4⟩
hal-03109254v1  Books
Bernadette SharpFlorence SèdesWieslaw Lubaszewski. Cognitive Approach to Natural Language Processing
Bernadette Sharp; Florence Sedes; Wieslaw Lubaszewski. ISTE Press - Elsevier, 234 p., 2017, 978-1785482533 ; eBook ISBN: 9780081023433
hal-00079970v1  Conference papers
Jean-Yves TourneretAndrea FerrariFrançois GoudailPhilippe Réfrégier. A UMP unbiased test for target detection in active coherent images
Physics in Signal and Image Processing, PSIP 2005, 2005, Toulouse, France. pp.69-74
...
hal-01226469v1  Conference papers
Javier EsparzaPeter LammichRené NeumannTobias NipkowAlexander Schimpf et al.  A Fully Verified Executable LTL Model Checker
25th International Conference on Computer Aided Verification (CAV 2013), Jun 2013, Saint Petersbourg, Russia. pp.463-478, ⟨10.1007/978-3-642-39799-8_31⟩
...
hal-01671327v1  Conference papers
Christian SchillingJan-Georg SmausFabian Wenzelmann. A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem
International Workshop on Combinatorial Algorithms (IWOCA 2013), Jul 2013, Rouen, France. pp.458-462
...
hal-01782564v1  Conference papers
Alexander SchimpfJan-Georg Smaus. Büchi Automata Optimisations Formalised in Isabelle/HOL
6th Indian Conference on Logics and its Applications (ICLA 2015), Jan 2015, Mumbai, India. pp.158-169, ⟨10.1007/978-3-662-45824-2_11⟩
...
hal-01222999v1  Conference papers
Florent LatombeXavier CrégutJulien DeantoniMarc PantelBenoit Combemale. Coping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada
hal-01334618v1  Conference papers
Ronan HamonValentin EmiyaCédric Févotte. Factorisation archétypale en matrices non-négatives avec données manquantes
Conférence francophone sur l'apprentissage automatique (CAp 2016), Jul 2016, Marseille, France
hal-00474882v1  Journal articles
Florent ChatelainJean-Yves TourneretJordi IngladaAndré Ferrari. Bivariate Gamma Distributions for Image Registration and Change Detection
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2007, vol. 16 n° 7., pp. 1796-1806 available on : http://oatao.univ-toulouse.fr/805/1/chatelain_805.pdf
...
hal-00915663v1  Journal articles
Nicolas DobigeonJean-Yves TourneretCédric RichardJosé Carlos M. BermudezSteve Mclaughlin et al.  Nonlinear unmixing of hyperspectral images: Models and algorithms
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2014, vol. 31, pp. 82-94. ⟨10.1109/MSP.2013.2279274⟩
hal-00924638v1  Conference papers
Clement WeisbeckerPatrick AmestoyOlivier BoiteauRomain BrossierAlfredo Buttari et al.  3D frequency-domain seismic modeling with a Block Low-Rank algebraic multifrontal direct solver
SEG Technical Program Expanded Abstracts, SEG annual meeting, Houston, TX, USA, 2013, Houston, Texas, United States. ⟨10.1190/segam2013-0603.1⟩
...
hal-01161843v1  Conference papers
Yvain QuéauJean-Denis DurouXavier Descombes. Que peut-on apprendre d'une scène vue par une webcam à partir d'images prises au cours d'une journée ensoleillée ?
Journées francophones des jeunes chercheurs en vision par ordinateur, Jun 2015, Amiens, France. pp.8
hal-03341181v1  Conference papers
Emilie LerigoleurGhita AmalFanny ArnaudPascal DayreArmelle Decaulne et al.  Vision and first actions of the SO-DRIIHM open science project
International Symposium of LabEx DRIIHM (2021), DRIIHM - Dispositif de Recherche Interdisciplinaire sur les Interactions Hommes-Milieux, Sep 2021, Toulouse, France
hal-03352535v1  Conference papers
Emilie LerigoleurPascal DayreMathieu MassaviolKristell MichelCorinne Pardo et al.  Co-design d‘un portail “aiguilleur de la science ouverte” DATA-DRIIHM pour le partage des données interdisciplinaires des Observatoires Hommes-Milieux
Journées Annuelles de Méthodes, Analyses, Terrains, Enquêtes en Sciences Humaines et Sociales (MATE-SHS 2021), Sep 2021, Bordeaux (Webinaire), France
...
hal-00569315v1  Conference papers
Florent JangalJean-Pierre GeorgéAlain BonnotMarie-Annick GiraudMichel Morel et al.  Toward a complete system for surveillance of the whole EEZ: ScanMaris and associated projects
OCEANS 2009, Oct 2009, Biloxi, United States. 4 p. - Article number 5422120 - ISBN: 978-142444960-6
...
hal-01484999v1  Conference papers
Tales ImbiribaJosé Carlos BermudezJean-Yves TourneretCédric Richard. Detection of nonlinear mixtures using Gaussian processes: Application to hyperspectral imaging
IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2014), May 2014, Florence, Italy. pp. 7949-7953
...
hal-01485023v1  Conference papers
Tales ImbiribaJosé Carlos BermudezCédric RichardJean-Yves Tourneret. Band selection in RKHS for fast nonlinear unmixing of hyperspectral images
23rd European Signal Processing Conference (EUSIPCO 2015), Aug 2015, Nice, France. pp. 1651-1655
...
hal-01680275v1  Conference papers
Marco WincklerMarta LarusdottirKati KuusinenCristian BogdanPhilippe Palanque. Dealing with Conflicting User Interface Properties in User-Centered Development Processes
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
...
hal-01947831v1  Conference papers
Sébastien MosserJean-Michel Bruel. Reconciling Requirements and Continuous Integration in an Agile Context
2018 IEEE 26th International Requirements Engineering Conference (RE), Aug 2018, Banff, Canada