Special

Semantic search

Title Authors Published in Date
lepage.22.interspeech Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning Théo Lepage, Réda Dehak Proc. Interspeech 2022 28 August 2022
moranges.22.taffc Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions Maelle Moranges, Marc Plantevit, Moustafa Bensafi IEEE Transactions on Affective Computing 24 July 2022
veyrin-forrer.22.ijcai What Does my GNN Really Capture? On Exploring Internal GNN Representations Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet International Joint Conference on Artificial Intelligence 2022 23 July 2022
akshay.22.stacs On Robustness for the Skolem and Positivity Problems S Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala 39th International Symposium on Theoretical Aspects of Computer Science STACS 7 July 2022
droste.22.iandc Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata Manfred Droste, Sven Dziadek, Werner Kuich Information and Computation 30 June 2022
fahrenberg.22.iandc Posets With Interfaces as a Model for Concurrency Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański Information and Computation 30 June 2022
esteban.22.gretsi.1 Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
esteban.22.gretsi.2 Généricité dynamique pour des algorithmes morphologiques Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
duret.22.cav From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) 6 June 2022
boutry.22.jmiv.2 Some Equivalence Relation between Persistent Homology and Morphological Dynamics Nicolas Boutry, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 17 May 2022
or.22.transparence Données, Transparence et Démocratie Olivier Ricou 1 May 2022
renkin.22.forte Effective Reductions of Mealy Machines Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) 26 April 2022
paviot.22.forte LTL under reductions with weaker conditions than stutter invariance Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) 18 April 2022
esteban.22.icpr Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna Proceedings of the 26th International Conference on Pattern Recognition 8 April 2022
abadie.22.das A Benchmark of Named Entity Recognition Approaches in Historical Documents Nathalie Abadie, Edwin Carlinet, Joseph Chazalon, Bertrand Duménieu Proceedings of the 15th IAPR International Workshop on Document Analysis System 7 April 2022
hermary.22.jmiv Learning Grayscale Mathematical Morphology with Smooth Morphological Layers Romain Hermary, Guillaume Tochon, Élodie Puybareau, Alexandre Kirszenberg, Jesús Angulo Journal of Mathematical Imaging and Vision 4 April 2022
veyrin-forrer.22.egc Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 24 March 2022
shi.21.itip Local Intensity Order Transformation for Robust Curvilinear Object Segmentation Tianyi Shi, Nicolas Boutry, Yongchao Xu, Thierry Géraud IEEE Transactions on Image Processing 22 March 2022
tschora.22.apen Electricity Price Forecasting on the Day-Ahead Market using Machine Learning Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet Applied Energy 10 March 2022
blin.22.tpds Max-Tree Computation on GPUs Nicolas Blin, Edwin Carlinet, Florian Lemaitre, Lionel Lacassagne, Thierry Géraud IEEE Transactions on Parallel and Distributed Systems 9 March 2022
verna.22.els ETAP: Experimental Typesetting Algorithms Platform Didier Verna 15th European Lisp Symposium 1 March 2022
casares.22.tacas Practical Applications of the Alternating Cycle Decomposition Antonio Casares, Alexandre Duret-Lutz, Klara J Meyer, Florian Renkin, Salomon Sickert Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22) 1 February 2022
mandel.22.aghm GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux J-L Mandel, P Burger, A Strehle, F Colin, T Mazzucotelli, N Collot, S Baer, B Durand, A Piton, R Coutelle, E Schaefer, P Parrend, L Faivre, K Jobard Garou, D Geneviève, V Ruault, D Martin, CaumesR., T Smol, J Ghoumid, F Ropert Conquer, J Kummeling, C Ockeloen, T Kleefstra, D Koolen Assises de Génétique Humaine et Médicale 1 February 2022
remil.22.egc Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents Youcef Remil, Anes Bendimerad, Marc Plantevit, Céline Robardet, Mehdi Kaytoue Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 24 January 2022
guillaume.22.egc Hate Speech and Toxic Comment Detection using Transformers Pierre Guillaume, Corentin Duchene, Réda Dehak Workshop EGC 2022 DL for NLP 12 January 2022
mehta.22.melba QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results Raghav Mehta, Angelos Filos, Ujjwal Baid, Chiharu Sako, Richard McKinley, Michael Rebsamen, Katrin Dätwyler, Raphael Meier, Piotr Radojewski, Gowtham Krishnan Murugesan, Sahil Nalawade, Chandan Ganesh, Ben Wagner, YuFang F., Baowei Fei, Ananth J Madhuranthakam, Joseph A Maldjian, Laura Daza, GómezCatalina, Pablo Arbeláez, Chengliang Dai, Shuo Wang, Hadrien Reynaud, Yuanhan Mo, Elsa Angelini, Yike Guo, Wenjia Bai, BanerjeeSubhashis, Linmin Pei, Murat AK, Sarahi Rosas-González, Ilyess Zemmoura, Clovis Tauber, Minh Hoang Vu, Tufve Nyholm, Tommy Löfstedt, Laura Mora Ballestar, Veronica Vilaplana, Hugh McHugh, Gonzalo Maso Talou, Alan Wang, Jay Patel, Ken Chang, Katharina Hoebel, Mishka Gidwani, Nishanth Arun, Sharut Gupta, Mehak Aggarwal, Praveer Singh, Elizabeth R Gerstner, Jayashree Kalpathy-Cramer, Nicolas Boutry, Alexis Huard, VidyaratneLasitha, Md Monibor Rahman, Khan M Iftekharuddin, Joseph Chazalon, Elodie Puybareau, TochonGuillaume, Jun Ma, Mariano Cabezas, LladoXavier, Arnau Oliver, Liliana Valencia, Sergi Valverde, Mehdi Amian, SoltaninejadMohammadreza, Andriy Myronenko, Ali Hatamizadeh, Xue Feng, Quan Dou, Nicholas Tustison, MeyerCraig, Nisarg A Shah, Sanjay Talbar, WeberMarc-André, Abhishek Mahajan, Andras Jakab, Roland Wiest, Hassan M Fathallah-Shaykh, Arash Nazeri, Mikhail Milchenko, Daniel Marcus, Aikaterini Kotrotsou, Rivka Colen, John Freymann, Justin Kirby, Christos Davatzikos, MenzeBjoern, Spyridon Bakas, Yarin Gal, Tal Arbel Journal of Machine Learning for Biomedical Imaging (MELBA) 9 January 2022
el-madhoun.22.aina New Security Protocols for Offline Point-of-Sale Machines Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle 36th International Conference on Advanced Information Networking and Applications (AINA) 1 January 2022
beaudoin.22.jmse Automatically Guided Selection of a Set of Underwater Calibration Images Laurent Beaudoin, Loïca Avanthey, Charles Villard, BunelCorentin 1 January 2022
avanthey.22.rs How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions Loïca Avanthey, Laurent Beaudoin Remote Sensing 1 January 2022
rida.22.raccisc Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks A Abou Rida, R Amhaz, P Parrend Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities 1 January 2022
maldonado-ruiz.22.ieee Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra IEEE Access 1 January 2022
beaudoin.22.eit How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education Laurent Beaudoin, Loïca Avanthey 1 January 2022
boutry.22.dgmm Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts Nicolas Boutry, Laurent Najman, Gilles Bertrand Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 31 December 2021
boutry.21.miccai Residual 3D U-Net with Localization for Brain Tumor Segmentation Marc Demoustier, Ines Khemir, Lucien Martin-Gaffé, Nicolas Boutry, Quoc Duon Nguyen International MICCAI Brainlesion Workshop 31 December 2021
randrianasoa.21.softx AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation Jimmy Francky Randrianasoa, Camille Kurtz, Éric Desjardin, Nicolas Passat SoftwareX 17 December 2021
movn.21.bmvc Introducing the Boundary-Aware Loss for Deep Image Segmentation Minh Ôn Vũ Ngoc, Yizi Chen, Joseph Chazalon, Edwin Carlinet, Jonathan Fabrizio, Clément Mallet, Thierry Géraud, Nicolas Boutry Proceedings of the 32nd British Machine Vision Conference (BMVC) 28 November 2021
boutry.21.joco Strong Euler Wellcomposedness Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago Journal of Combinatorial Optimization 23 November 2021
boutry.21.jmiv Continuous Well-Composedness implies Digital Well-Composedness in n-D Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 9 November 2021
raymon.21.urai VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation A Raymond, B Brument, P Parrend Upper-Rhine Artificial Intelligence Symposium 1 October 2021
rida.21.cn Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks A Abou Rida, P Parrend, R Amhaz Complex Network 2021 1 October 2021
el-madhoune.21.csnet A Secure Blockchain-Based Architecture for the COVID-19 Data Network Darine Al-Mohtar, Amani Ramzi Daou, Nour El Madhoun, Rachad Maallawi 2021 5th Cyber Security in Networking Conference (CSNet) 1 October 2021
kheireddine.21.cp Towards Better Heuristics for Solving Bounded Model Checking Problems Anissa Kheireddine, Étienne Renault, Souheib Baarir Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21) 31 August 2021
sekuboyina.21.media VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images Anjany Sekuboyina, Malek E Husseini, Amirhossein Bayat, Maximilian Löffler, Hans Liebl, Hongwei Li, Giles Tetteh, Jan Kukačka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yujin Hu, Tianfu Wang, Dong Yang, Daguang Xu, and Felix Ambellan, Tamaz Amiranashvili, Moritz Ehlke, Hans Lamecker, Sebastian Lehnert, Marilia Lirio, Nicolás Pérez de Olaguer, Heiko Ramm, Manish Sahu, Alexander Tack, Stefan Zachow, Tao Jiang, Xinjun Ma, Christoph Angerman, Xin Wang, Kevin Brown, Matthias Wolf, Alexandre Kirszenberg, Élodie Puybareau, Di Chen, Yiwei Bai, Brandon H Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Houa, Zhiqiang He, Chan Zeng, Zheng Xiangshang, Xu Liming, Tucker J Netherton, Raymond P Mumme, Laurence E Court, Zixun Huang, Chenhang He, Li-Wen Wang, Sai Ho Ling, Lê Duy Huỳnh, Nicolas Boutry, Roman Jakubicek, Jiri Chmelik, Supriti Mulay, Mohanasankar Sivaprakasam, Johannes C Paetzold, Suprosanna Shit, Ivan Ezhov, Benedikt Wiestler, Ben Glocker, Alexander Valentinitsch, Markus Rempfler, Björn H Menze, Jan S Kirschke Medical Image Analysis 22 July 2021
kirszenberg.21.spin Go2Pins: A Framework for the LTL Verification of Go Programs Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) 8 June 2021
chazalon.21.icdar.1 Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation Joseph Chazalon, Edwin Carlinet Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chazalon.21.icdar.2 ICDAR 2021 Competition on Historical Map Segmentation Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chen.21.icdar Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
estopinan.21.eusipco Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks Joaquim Estopinan, Guillaume Tochon, Lucas Drumetz Proceedings of the 29th European Signal Processing Conference (EUSIPCO) 4 May 2021
hacquard.21.els A Corpus Processing and Analysis Pipeline for Quickref Antoine Hacquard, Didier Verna Proceedings of the 14th European Lisp Symposium (ELS) 1 May 2021
newton.21.els A Portable, Simple, Embeddable Type System Jim Newton, Adrien Pommellet Proceedings of the 14th European Lisp Symposium (ELS) 26 April 2021
maldonado-ruiz.21.ifip An Innovative and Decentralized Identity Framework Based on Blockchain Technology Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS) 1 April 2021
boutry.21.dgmm.3 Stability of the Tree of Shapes to Additive Noise Nicolas Boutry, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.1 An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.2 A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation Nicolas Boutry, Thierry Géraud Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.media Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy Sharib Ali, Mariia Dmitrieva, Noha Ghatwary, Sophia Bano, Gorkem Polat, Alptekin Temizel, Adrian Krenzer, Amar Hekalo, Yun Bo Guo, Bogdan Matuszewski, Mourad Gridach, Irina Voiculescu, Vishnusai Yoganand, Arnav Chavan, Aryan Raj, Nhan T Nguyen, Dat Q Tran, Le Duy Huynh, Nicolas Boutry, Shahadate Rezvy, Haijian Chen, Yoon Ho Choi, Anand Subramanian, Velmurugan Balasubramanian, Xiaohong W Gao, Hongyu Hu, Yusheng Liao, Danail Stoyanov, Christian Daul, Stefano Realdon, Renato Cannizzaro, Dominique Lamarque, Terry Tran-Nguyen, Adam Bailey, Barbara Braden, James East, Jens Rittscher Medical Image Analysis 24 February 2021
chen.21.dgmm Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
bloch.21.dgmm On Some Associations Between Mathematical Morphology and Artificial Intelligence Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
kirszenberg.21.dgmm Going beyond p-convolutions to learn grayscale morphological operators Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
hammi.21.ieee Blockchain-Based Solution for Detecting and Preventing Fake Check Scams Badis Hammi, Sherali Zeadally, Yves Christian Elloh Adja, Manlio Del Giudice, Jamel Nebhen IEEE Transactions on Engineering Management 1 January 2021
espie.21.eurocon Debug Packages in OpenBSD Marc Espie EuroBSDCon 2021 1 January 2021
christian.21.cs A blockchain-based certificate revocation management and status verification system Yves Christian Elloh Adja, Badis Hammi, Ahmed Serhrouchni, Sherali Zeadally Computers & Security 1 January 2021
grelot.21.cesar Automation of Binary Analysis: From Open Source Collection to Threat Intelligence Frederic Grelot, Sébastien Larinier, SalmonMarie Proceedings of the 28th C&ESAR 1 January 2021
nejati.20.cp A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) 31 December 2020
kim.20.media PAIP 2019: Liver Cancer Segmentation Challenge Yoo Jung Kim, Hyungjoon Jang, Kyoungbun Lee, Seongkeun Park, Sung-Gyu Min, Choyeon Hong, Jeong Hwan Park, Kanggeun Lee, Jisoo Kim, Wonjae Hong, Hyun Jung, Yanling Liu, Haran Rajkumar, Mahendra Khened, Ganapathy Krishnamurthi, Sen Yang, Xiyue Wang, Chang Hee Han, Jin Tae Kwak, Jianqiang Ma, Zhe Tang, Bahram Marami, Jack Zeineh, Zixu Zhao, Pheng-Ann Heng, Rudiger Schmitz, Frederic Madesta, Thomas Rosch, Rene Werner, Jie Tian, Matteo Bovio, Xiufeng Zhang, Yifeng Zhu, Se Young Chun, Won-Ki Jeong, Peom Park, Jinwook Choi, Élodie Puybareau Medical Image Analysis 10 November 2020
xiong.20.media A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging Zhaohan Xiong, Qing Xia, Zhiqiang Hu, Ning Huang, Cheng Bian, Yefeng Zheng, Sulaiman Vesal, Nishant Ravikumar, Andreas Maier, Xin Yang, Pheng-Ann Heng, Dong Ni, Caizi Li, Qianqian Tong, Weixin Si, Younes Khoudli, Thierry Géraud, Chen Chen, Wenjia Bai, Daniel Rueckert, Lingchao Xu, Xiahai Zhuang, Xinzhe Luo, Shuman Jia, Maxime Sermesant, Yashu Liu, Kuanquan Wang, Davide Borra, Alessandro Masci, Cristiana Corsi, Coen de Vente, Mitko Veta, Rashed Karim, Chandrakanth Jayachandran Preetha, Sandy Engelhardt, Menyun Qiao, Yuanyuan Wang, Qian Tao, Marta Nunez-Garcia, Oscar Camara, Nicolo Savioli, Pablo Lamata, Jichao Zhao, Élodie Puybareau Medical Image Analysis 10 November 2020
zhao.20.icpr.2 Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
zhao.20.icpr.1 FOANet: A Focus of Attention Network with Application to Myocardium Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
buatois.19.brainles Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon International MICCAI Brainlesion Workshop 3 September 2020
boutry.20.jmiv.1 Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids Nicolas Boutry, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 3 September 2020
boutry.20.jmiv.2 Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids Nicolas Boutry, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 3 September 2020
vallade.20.nfm On the Usefulness of Clause Strengthening in Parallel SAT Solving Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) 1 August 2020
boutry.20.iwcia1 Euler Well-Composedness Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
boutry.20.iwcia2 A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
rivet.20.phd Non-iterative methods for image improvement in digital holography of the retina Julie Rivet 17 July 2020
verna.20.hdr (Dynamic (Programming Paradigms)) ;; Performance and Expressivity Didier Verna 10 July 2020
renkin.20.atva Practical “Paritizing” of Emerson–Lei Automata Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) 7 July 2020
movn.20.cviu A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud Computer Vision and Image Understanding 2 June 2020
renault.20.isse Improving swarming using genetic algorithms Etienne Renault Innovations in Systems and Software Engineering: a NASA journal (ISSE) 2 June 2020
boutry.20.brainles Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 1 June 2020
vallade.20.sat Community and LBD-based Clause Sharing Policy for Parallel SAT Solving Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) 1 June 2020
pommellet.20.isse LTL Model Checking for Communicating Concurrent Programs Adrien Pommellet, Tayssir Touili Innovations in Systems and Software Engineering: a NASA journal (ISSE) 15 May 2020
blahoudek.20.cav Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization František Blahoudek, Alexandre Duret-Lutz, Jan Strejček Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) 14 May 2020
movn.20.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Minh Ôn Vũ Ngoc 18 February 2020
zhao.19.stacom A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers 7 February 2020
drumetz.20.icassp Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 24 January 2020
zhao.19.myops Stacked and parallel U-nets with multi-output for myocardial pathology segmentation Zhou Zhao, Nicolas Boutry, Elodie Puybareau Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge 1 January 2020
atlan.20.spie Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard Label-free Biomedical Imaging and Sensing (LBIS) 2020 1 January 2020
verna.19.tug Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo Didier Verna TUGboat 6 November 2019
huynh.19.prl Connected Filters on Generalized Shape-Spaces Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud Pattern Recognition Letters 20 September 2019
poitrenaud.19.icfem Combining Parallel Emptiness Checks with Partial Order Reductions Denis Poitrenaud, Etienne Renault Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) 2 August 2019
baier.19.atva Generic Emptiness Check for Fun and Profit Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) 29 July 2019
le-frioux.19.phd Towards more efficient parallel SAT solving Ludovic Le Frioux 3 July 2019
tochon.19.pr Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot Pattern Recognition 1 July 2019
boutry.19.dgci One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) 18 June 2019
esteban.19.gretsi Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques Baptiste Esteban, Guillaume Tochon, Thierry Géraud Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) 14 June 2019
carlinet.19.gretsi Filtres connexes multivariés par fusion d'arbres de composantes Edwin Carlinet, Thierry Géraud Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) 14 June 2019
esteban.19.caip Estimating the noise level function with the tree of shapes and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Thierry Géraud Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) 7 June 2019
wang.19.tmi Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen IEEE Transactions on Medical Imaging 11 April 2019
kuijf.19.tmi Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu IEEE Transactions on Medical Imaging 10 April 2019
valais.19.els Implementing Baker's SUBTYPEP decision procedure Léo Valais, Jim Newton, Didier Verna 12th European Lisp Symposium 1 April 2019
bloemen.19.sttt Model checking with generalized Rabin and Fin-less automata Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol International Journal on Software Tools for Technology Transfer 1 April 2019
verna.19.els Parallelizing Quickref Didier Verna 12th European Lisp Symposium 1 April 2019
boutry.19.ismm An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D Nicolas Boutry, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
tochon.19.ismm Constructing a braid of partitions from hierarchies of partitions Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
carlinet.19.ismm Introducing Multivariate Connected Openings and Closings Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
puybareau.19.ismm Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
le-frioux.19.tacas Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) 13 February 2019
boutry.19.jmiv How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way Nicolas Boutry, Thierry Géraud, Laurent Najman Journal of Mathematical Imaging and Vision 4 February 2019
puybareau.19.cbm High Throughput Automated Detection of Axial Malformations in Medaka Embryo Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot Computers in Biology and Medicine 22 January 2019
newton.19.els Finite Automata Theory Based Optimization of Conditional Variable Binding Jim Newton, Didier Verna European Lisp Symposium 14 January 2019
rivet.19.isbi Motion Compensation in Digital Holography for Retinal Imaging Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) 19 December 2018
huynh.18.phd Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. Lê Duy Huỳnh 1 December 2018
carlinet.19.csi Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach Edwin Carlinet, Thierry Géraud Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) 26 November 2018
puybareau.18.brainles Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI 5 November 2018
newton.18.phd Representing and Computing with Types in Dynamically Typed Languages Jim Newton 1 November 2018
roynard.18.rrpr An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming Michaël Roynard, Edwin Carlinet, Thierry Géraud Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) 25 October 2018
puybareau.18.stacom Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI 25 October 2018
rivet.19.spie Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V 25 October 2018
movn.19.icdarw Document detection in videos captured by smartphones using a saliency-based method Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud International Conference on Document Analysis and Recognition Workshops (ICDARW) 20 September 2018
newton.18.meta Recognizing Heterogeneous Sequences by Rational Type Expression Jim Newton, Didier Verna Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection 14 September 2018
newton.18.tocl A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams Jim Newton, Didier Verna ACM Transactions on Computational Logic 28 August 2018
boutry.18.is Weakly Well-Composed Cell Complexes over nD Pictures Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez Information Sciences 4 July 2018
renault.18.vecos Improving Parallel State-Space Exploration Using Genetic Algorithms Etienne Renault Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) 14 June 2018
michaud.18.synt Reactive Synthesis from LTL Specification with Spot Thibaud Michaud, Maximilien Colange Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 7 June 2018
boldo.18.arith A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers Sylvie Boldo, Florian Faissole, TourneurVincent 25th IEEE Symposium on Computer Arithmetic 1 June 2018
carlinet.18.icip The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm Edwin Carlinet, Thierry Géraud, Sébastien Crozet Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) 10 May 2018
puybareau.18.icip Real-Time Document Detection in Smartphone Videos Élodie Puybareau, Thierry Géraud Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) 10 May 2018
carlinet.18.rfiap Un algorithme de complexité linéaire pour le calcul de l'arbre des formes Edwin Carlinet, Sébastien Crozet, Thierry Géraud Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) 4 May 2018
puybareau.18.rfiap Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” 4 May 2018
barnat.18.hpcr Parallel Model Checking Algorithms for Linear-Time Temporal Logic Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault Handbook of Parallel Constraint Reasoning 10 April 2018
newton.18.els Approaches in Typecase Optimization Jim Newton, Didier Verna European Lisp Symposium 5 April 2018
goetz.18.tpds Parallel Computation of Component Trees on Distributed Memory Machines Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel IEEE Transactions on Parallel and Distributed Systems 2 April 2018
verna.18.els Method Combinators Didier Verna 11th European Lisp Symposium 25 March 2018
xu.18.media The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud Medical Image Analysis 22 March 2018
xu.18.brainles White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers 6 February 2018
verna.18.programming Lisp, Jazz, Aikido Didier Verna The Art, Science and Engineering of Programming Journal 5 February 2018
movn.18.das Saliency-Based Detection of Identity Documents Captured by Smartphones Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) 2 February 2018
dangla.18.das A first step toward a fair comparison of evaluation protocols for text detection algorithms Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) 2 February 2018
metin.18.tacas CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) 5 January 2018
demaille.17.sacs Derived-Term Automata of Multitape Expressions with Composition Akim Demaille Scientific Annals of Computer Science 29 December 2017
tochon.17.chapter Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis Guillaume Tochon, Mauro Dalla Mura, Philippe Salembier, Jocelyn Chanussot, Miguel-Angel Veganzones, Silvia Valero Comprehensive Remote Sensing, 1st Edition 8 November 2017
drapeau.17.grec Extraction of Ancient Map Contents Using Trees of Connected Components Jordan Drapeau, Thierry Géraud, Mickaël Coustaty, Joseph Chazalon, Jean-Christophe Burie, Véronique Eglin, Stéphane Bres Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC) 20 October 2017
boutry.17.jmiv A Tutorial on Well-Composedness Nicolas Boutry, Thierry Géraud, Laurent Najman Journal of Mathematical Imaging and Vision 12 October 2017
chazalon.17.icdar-ost SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode J Chazalon, P Gomez-Krämer, J -C Burie, M Coustaty, S Eskenazi, M Luqman, N Nayef, M Rusiñol, N Sidère, J M Ogier. Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST) 21 July 2017
demaille.17.ictac Derived-Term Automata of Weighted Rational Expressions with Quotient Operators Akim Demaille, Thibaud Michaud Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) 5 July 2017
royer.17.icdar Benchmarking Keypoint Filtering Approaches for Document Image Matching E Royer, J Chazalon, M Rusiñol, F Bouchara Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) 4 July 2017
jacobs.17.synt The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, FaymonvillePeter, Bernd Finkbeiner, Ayrat Khalimov, KleinFelix, Thibaud Michaud, Guillermo A Pérez, Jean-François Raskin, Ocan Sankur, TentrupLeander Proceedings Sixth Workshop on Synthesis 1 July 2017
le-frioux.17.sat PaInleSS: a Framework for Parallel SAT Solving Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) 30 June 2017
rusinol.17.mtap Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito Multimedia Tools and Applications 29 June 2017
puybareau.17.gretsi Caractérisation des zones de mouvement périodiques pour applications bio-médicales Élodie Puybareau, Hugues Talbot, Laurent Najman Actes du 26e Colloque GRETSI 28 June 2017
xu.17.gretsi Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage Yongchao Xu, Thierry Géraud, Isabelle Bloch Actes du 26e Colloque GRETSI 20 June 2017
xu.17.icip From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning Yongchao Xu, Thierry Géraud, Isabelle Bloch Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) 12 June 2017
menouer.17.iccs Parallel Learning Portfolio-Based Solvers Tarek Menouer, Souheib Baarir Proceedings of the International Conference on Computational Science (ICCS) 1 June 2017
boutry.17.dgci Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n Nicolas Boutry, Laurent Najman, Thierry Géraud Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) 1 June 2017
bloemen.17.spin Explicit State Model Checking with Generalized Büchi and Rabin Automata Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) 22 May 2017
tochon.17.tgrs Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi IEEE Transactions on Geoscience and Remote Sensing 20 April 2017
blahoudek.17.lpar Seminator: A Tool for Semi-Determinization of Omega-Automata František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17) 3 April 2017
carlinet.17.orasis La pseudo-distance du dahu Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Géraud Actes d'ORASIS 21 March 2017
menouer.17.pdp Parallel Satisfiability Solver Based on Hybrid Partitioning Method Tarek Menouer, Souheib Baarir Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) 1 March 2017
geraud.17.ismm Introducing the Dahu Pseudo-Distance Thierry Géraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) 23 February 2017
huynh.17.ismm Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) 23 February 2017
puybareau.17.ismm Morphological Analysis of Brownian Motion for Physical Measurements Élodie Puybareau, Hugues Talbot, Noha Gaber, Tarik Bourouina Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) 23 February 2017
puybareau.17.isbi Periodic Area-of-Motion characterization for Bio-Medical applications Élodie Puybareau, Hugues Talbot, Laurent Najman Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) 20 February 2017
newton.17.els Programmatic Manipulation of Common Lisp Type Specifiers Jim Newton, Didier Verna, Maximilien Colange European Lisp Symposium 6 February 2017
newton.17.dtd.report Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set Jim Newton 2 February 2017
duret.17.hdr Contributions to LTL and ω-Automata for Model Checking Alexandre Duret-Lutz 1 February 2017
dehak.16.nistsre The MIT Lincoln Laboratory 2016 Speaker Recognition System Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo NIST Speaker Recognition Evaluation 2016 12 December 2016
boutry.16.phd A Study of Well-Composedness in n-D Nicolas Boutry 1 December 2016
drumetz.17.lva-ica Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity Lucas Drumetz, Guillaume Tochon, Jocelyn Chanussot, Christian Jutten Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) 22 November 2016
newton.16.monad.report Monads in Common Lisp Jim Newton 18 November 2016
newton.16.dag.report Finding Maximal Common Joins in a DAG Jim Newton 17 November 2016
calarasanu.16.iwrr From text detection to text segmentation: a unified evaluation scheme Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) 1 October 2016
huynh.16.icpr Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud Proceedings of the 23st International Conference on Pattern Recognition (ICPR) 13 July 2016
demaille.16.ictac Derived-term Automata for Extended Weighted Rational Expressions Akim Demaille Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) 6 July 2016
duret.16.atva Heuristics for Checking Liveness Properties with Partial Order Reductions Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) 17 June 2016
duret.16.atva2 Spot 2.0 — a framework for LTL and ω-automata manipulation Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) 17 June 2016
morel.16.embc A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI Baptiste Morel, Yongchao Xu, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society 20 May 2016
xu.16.prl Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection Yongchao Xu, Thierry Géraud, Laurent Najman Pattern Recognition Letters 20 May 2016
demaille.16.ciaa Derived-Term Automata of Multitape Rational Expressions Akim Demaille Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) 26 April 2016
cavallaro.16.igarss Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes Gabriele Cavallaro, Mauro Dalla Mura, Edwin Carlinet, Thierry Géraud, Nicola Falco, Jón Atli Benediktsson Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) 12 April 2016
xu.16.pami Hierarchical Segmentation Using Tree-Based Shape Spaces Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman IEEE Transactions on Pattern Analysis and Machine Intelligence 11 April 2016
fabrizio.16.ijdar TextCatcher: A method to detect curved and challenging text in natural scenes Jonathan Fabrizio, Myriam Robert-Seidowsky, Séverine Dubuisson, Stefania Calarasanu, Raphaël Boissel International Journal on Document Analysis and Recognition 8 April 2016
newton.16.els Type-Checking of Heterogeneous Sequences in Common Lisp Jim Newton, Akim Demaille, Didier Verna European Lisp Symposium 25 March 2016
newton.16.rte.report Efficient Dynamic Type Checking of Heterogeneous Sequences Jim Newton 22 February 2016
calarasanu.16.ivc What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Image and Vision Computing 1 February 2016
calarasanu.16.visapp Towards the rectification of highly distorted texts Stefania Calarasanu, Séverine Dubuisson, Jonathan Fabrizio Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) 1 February 2016
calarasanu.15.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Stefania Calarasanu 1 December 2015
carlinet.15.phd A Tree of Shapes for Multivariate Images Edwin Carlinet 1 November 2015
renault.16.sttt Variations on Parallel Explicit Model Checking for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud International Journal on Software Tools for Technology Transfer (STTT) 26 October 2015
carlinet.15.itip MToS: A Tree of Shapes for Multivariate Images Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 26 October 2015
baarir.15.lpar SAT-based Minimization of Deterministic ω-Automata Souheib Baarir, Alexandre Duret-Lutz Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) 1 September 2015
calarasanu.15.icdar Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) 1 August 2015
carlinet.15.ipta Morphological Object Picking Based on the Color Tree of Shapes Edwin Carlinet, Thierry Géraud Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) 29 June 2015
carlinet.15.gretsi Une approche morphologique de segmentation interactive avec l'arbre des formes couleur Edwin Carlinet, Thierry Géraud Actes du 15e Colloque GRETSI 16 June 2015
blahoudek.15.spin On Refinement of Büchi Automata for Explicit Model Checking František Blahoudek, Alexandre Duret-Lutz, Vojtčech Rujbr, Jan Strejček Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) 15 June 2015
michaud.15.spin Practical Stutter-Invariance Checks for ω-Regular Languages Thibaud Michaud, Alexandre Duret-Lutz Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) 15 June 2015
xu.15.pami Connected Filtering on Tree-Based Shape-Spaces Yongchao Xu, Thierry Géraud, Laurent Najman IEEE Transactions on Pattern Analysis and Machine Intelligence 5 June 2015
bensalem.15.acsd Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata Ala Eddine Ben Salem, Mohamed Graiet Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) 19 May 2015
bensalem.15.forte Extending Testing Automata to All LTL Ala Eddine Ben Salem Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) 19 May 2015
boutry.15.icip How to Make nD Images Well-Composed Without Interpolation Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IEEE International Conference on Image Processing (ICIP) 14 May 2015
babiak.15.cav The Hanoi Omega-Automata Format Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) 27 April 2015
geraud.15.ismm Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images Thierry Géraud, Edwin Carlinet, Sébastien Crozet Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
xu.15.ismm Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
boutry.15.ismm How to Make nD Functions Digitally Well-Composed in a Self-Dual Way Nicolas Boutry, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
carlinet.15.ismm A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
bensalem.15.lata Single-pass Testing Automata for LTL Model Checking Ala Eddine Ben Salem Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15) 1 March 2015
dubuisson.15.visapp A Self-Adaptive Likelihood Function for Tracking with Particle Filter Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) 1 March 2015
robert-seidowsky.15.visapp TextTrail: A Robust Text Tracking Algorithm In Wild Environments Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) 1 March 2015
renault.15.tacas Parallel Explicit Model Checking for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) 13 January 2015
verna.15.cop Context-Oriented Image Processing Didier Verna, François Ripault Context-Oriented Programming Workshop 1 January 2015
renault.14.phd Contribution aux tests de vacuité pour le model checking explicite Etienne Renault 5 December 2014
xu.14.itip Tree-Based Morse Regions: A Topological Approach to Local Feature Detection Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman IEEE Transactions on Image Processing 3 October 2014
bensalem.14.phd Improving the Model Checking of Stutter-Invariant LTL Properties Ala Eddine Ben Salem 25 September 2014
levillain.14.ciarp Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP) 10 September 2014
widynski.14.ius Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking Nicolas Widynski, Thierry Géraud, Damien Garcia Proceedings of the IEEE International Ultrasonics Symposium (IUS) 10 September 2014
xu.14.rfia Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur Yongchao Xu, Thierry Géraud, Laurent Najman Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) 1 July 2014
carlinet.14.itip A Comparative Review of Component Tree Computation Algorithms Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 16 June 2014
blahoudek.14.spin Is There a Best Büchi Automaton for Explicit Model Checking? František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14) 16 June 2014
dehak.14.odyssey GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak Odyssey 2014, The Speaker and Language Recognition Workshop 16 June 2014
geraud.14.icip A Morphological Method for Music Score Staff Removal Thierry Géraud Proceedings of the 21st International Conference on Image Processing (ICIP) 3 June 2014
boutry.14.dgci On Making nD Images Well-Composed by a Self-Dual Local Interpolation Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI) 28 May 2014
fabrizio.14.icip A precise skew estimation algorithm for document images using KNN clustering and Fourier transform Jonathan Fabrizio Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
xu.14.icip Meaningful disjoint level lines selection Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
carlinet.14.icip Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls Edwin Carlinet, Thierry Géraud Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
crozet.14.icip A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images Sébastien Crozet, Thierry Géraud Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
demaille.14.ciaa A Type System for Weighted Automata and Rational Expressions Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) 20 May 2014
carlinet.14.icpr A Morphological Tree of Shapes for Color Images Edwin Carlinet, Thierry Géraud Proceedings of the 22nd International Conference on Pattern Recognition (ICPR) 2 April 2014
bensalem.14.tacas Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14) 1 April 2014
baarir.14.forte Mechanizing the Minimization of Deterministic Generalized Büchi Automata Souheib Baarir, Alexandre Duret-Lutz Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) 21 March 2014
duret.14.ijccbs LTL Translation Improvements in Spot 1.0 Alexandre Duret-Lutz International Journal on Critical Computer-Based Systems 6 March 2014
xu.13.phd Tree-based shape spaces: Definition and applications in image processing and computer vision Yongchao Xu 12 December 2013
lazzara.14.das Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis Guillaume Lazzara, Thierry Géraud, Roland Levillain Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS) 10 December 2013
fabrizio.13.paa Text detection in street level image Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord Pattern Analysis and Applications 5 November 2013
renault.13.lpar Three SCC-based Emptiness Checks for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13) 9 October 2013
duret.13.atva Manipulating LTL formulas using Spot 1.0 Alexandre Duret-Lutz Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) 15 June 2013
fronc.13.atva LTL Model Checking with Neco Łukasz Fronc, Alexandre Duret-Lutz Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) 15 June 2013
shum.13.taslp Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach S Shum, Najim Dehak, Réda Dehak, J Glass IEEE Transactions on Audio, Speech, and Language Processing 7 June 2013
xu.13.icip Salient Level Lines Selection Using the Mumford-Shah Functional Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 20th International Conference on Image Processing (ICIP) 27 May 2013
demaille.13.ciaa Implementation Concepts in Vaucanson 2 Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) 2 May 2013
babiak.13.spin Compositional Approach to Suspension and Other Improvements to LTL Translation Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13) 28 April 2013
lazzara.13.ijdar Efficient Multiscale Sauvola's Binarization Guillaume Lazzara, Thierry Géraud International Journal of Document Analysis and Recognition (IJDAR) 25 April 2013
najman.13.ismm Discrete set-valued continuity and interpolation Laurent Najman, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
geraud.13.ismm A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
xu.13.ismm Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity Yongchao Xu, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
carlinet.13.ismm A comparison of many max-tree computation algorithms Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
renault.13.tacas Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13) 8 January 2013
verna.13.tug-1 The incredible tale of the author who didn't want to do the publisher's job Didier Verna TUGboat 1 January 2013
verna.13.tug-2 TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) Didier Verna TUGboat 1 January 2013
borgstrom.12.nistsre MITLL 2012 Speaker Recognition Evaluation System Description Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo NIST Speaker Recognition Evaluation 1 December 2012
verna.12.dsl Extensible languages: blurring the distinction between DSLs and GPLs Didier Verna Formal and Practical Aspects of Domain-Specific Languages: Recent Developments 1 September 2012
levillain.12.wadgmm-lncs Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework Roland Levillain, Thierry Géraud, Laurent Najman WADGMM 2010 8 August 2012
levillain.10.wadgmm Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) 30 July 2012
xu.12.icpr Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 21st International Conference on Pattern Recognition (ICPR) 16 June 2012
geraud.12.hdr Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes Thierry Géraud 1 June 2012
sennoussaoui.12.odyssey First Attempt at Boltzmann Machines for Speaker Recognition M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel Odyssey Speaker and Language Recognition Workshop 1 June 2012
senta.12.els Generic Image Processing with Climb Laurent Senta, Christopher Chedeau, Didier Verna European Lisp Symposium 1 May 2012
xu.12.icip Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 19th International Conference on Image Processing (ICIP) 17 April 2012
fabrizio.12.spic Motion compensation based on Tangent Distance prediction for video compression Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat Signal Processing: Image Communication 9 February 2012
bensalem.12.topnoc Model Checking using Generalized Testing Automata Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) 1 January 2012
chedeau.12.tr JSPP: Morphing C++ into JavaScript Christopher Chedeau, Didier Verna 1 January 2012
verna.12.tug Star TeX : the Next Generation Didier Verna TUGboat 1 January 2012
levillain.11.phd Towards a Software Architecture for Generic Image Processing Roland Levillain 1 November 2011
dehak.11.interspeech Language Recognition via I-Vectors and Dimensionality Reduction Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak INTERSPEECH 2011 1 August 2011
duret.11.vecos LTL Translation Improvements in Spot Alexandre Duret-Lutz Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) 25 July 2011
duret.11.atva Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) 23 June 2011
lazzara.11.icdar The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) 1 June 2011
duret.11.arxiv Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg 1 June 2011
bensalem.11.sumo Generalized Büchi Automata versus Testing Automata for Model Checking Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) 25 May 2011
levillain.11.gretsi Une approche générique du logiciel pour le traitement d'images préservant les performances Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) 13 May 2011
dehak.11.taslp Front-End Factor Analysis For Speaker Verification Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet IEEE Transactions on Audio, Speech, and Language Processing 1 May 2011
dehak.11.icassp A Channel-Blind System for Speaker Verification Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass International Conference on Acoustics, Speech and Signal Processing (ICASSP) 1 May 2011
verna.11.onward Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them Didier Verna Onward! 2011 1 January 2011
verna.11.tug Towards LaTeX Coding Standards Didier Verna TUGboat 1 January 2011
minetto.10.icip SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui Proceedings of the IEEE International Conference on Image Processing (ICIP) 31 December 2010
dolstra.10.jfp NixOS: A purely functional Linux distribution Eelco Dolstra, Andres Löh, Nicolas Pierron Journal of Functional Programming 15 October 2010
geraud.10.livre Morphologie et algorithmes Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Morphologie mathématique 2 : estimation, choix et mise en œuvre 1 September 2010
geraud.10.book Algorithms for Mathematical Morphology Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Mathematical Morphology—From Theory to Applications 1 July 2010
linard.10.acsd polyDD: Towards a Framework Generalizing Decision Diagrams Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) 1 June 2010
levillain.10.icip Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the IEEE International Conference on Image Processing (ICIP) 26 May 2010
verna.10.els CLoX: Common Lisp objects for XEmacs Didier Verna Proceedings of the 3rd European Lisp Symposium 9 March 2010
verna.10.tug Classes, Styles, Conflicts: the Biological Realm of LaTeX Didier Verna TUGboat 9 March 2010
dehak.10.odyssey Cosine Similarity Scoring without Score Normalization Techniques Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny Odyssey The Speaker and Language Recognition 1 January 2010
dehak.10.odyssey2 Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification S Shum, Najim Dehak, Réda Dehak, J Glass Odyssey The Speaker and Language Recognition 1 January 2010
verna.10.jucs Revisiting the Visitor: the Just Do It Pattern Didier Verna Journal of Universal Computer Science 1 January 2010
dehak.10.nist LRDE Speaker Recognition System for NIST-SRE 2010 Réda Dehak, Najim Dehak NIST 2010 Speaker Recognition Evaluation 1 January 2010
hamez.09.phd Génération efficace de grands espaces d'états Alexandre Hamez 1 December 2009
linard.09.phd Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification Alban Linard 1 November 2009
dehak.09.interspeech Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel Interspeech 22 June 2009
dehak.09.interspeechb Cepstral and Long-Term Features for Emotion Recognition Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden Interspeech 22 June 2009
dehak.09.icassp Support Vector Machines and Joint Factor Analysis for Speaker Verification Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo IEEE-ICASSP 19 April 2009
levillain.09.ismm Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images Roland Levillain, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) 9 April 2009
verna.08.els Binary Methods Programming: the CLOS Perspective Didier Verna Proceedings of the First European Lisp Symposium 31 March 2009
verna.09.ilc CLOS Efficiency: Instantiation Didier Verna Proceedings of the International Lisp Conference 13 January 2009
hamez.09.fi Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Fundamenta Informaticae 1 January 2009
duret.09.atva On-the-fly Emptiness Check of Transition-based Streett Automata Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) 1 January 2009
verna.09.accu Revisiting the Visitor: the Just Do It Pattern Didier Verna Proceedings of the ACCU Conference 2009 29 December 2008
demaille.09.sac TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing Akim Demaille, Roland Levillain, Benoît Sigoure Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) 11 October 2008
demaille.08.fsmnlp An XML format proposal for the description of weighted automata, transducers, and regular expressions Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) 28 July 2008
ricou.08.eceg A Survey of French Local e-Democracy Olivier Ricou Proceedings of the 8th European Conference on e-Government (ECEG) 1 July 2008
verna.08.lncs Report on the 5th Workshop ELW at ECOOP 2008 Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner Object-Oriented Technology. ECOOP 2008 Workshop Reader 1 July 2008
dehak.08.nist The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation Réda Dehak, Najim Dehak, Patrick Kenny NIST-SRE 2008 1 June 2008
geraud.08.mpool Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) Thierry Géraud, Roland Levillain Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) 26 May 2008
demaille.08.iticse A Set of Tools to Teach Compiler Construction Akim Demaille, Roland Levillain, Benoît Perrot Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) 29 March 2008
hamez.08.atpn Hierarchical Set Decision Diagrams and Automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Petri Nets and Other Models of Concurrency –ICATPN 2008 1 March 2008
demaille.08.ldta Semantics driven disambiguation: A comparison of different approaches Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) 8 February 2008
le-quoc.08.ispec Towards the World-Wide Quantum Network Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) 25 January 2008
hemon.08.sagt Approximate Nash Equilibria for Multi-Player Games Sébastien Hémon, Michel de Rougemont, Miklos Santha 1st International Symposium on Algorithmic Games Theory 18 January 2008
darbon.08.iwcia Global Optimization for First Order Markov Random Fields with Submodular Priors Jérôme Darbon Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) 3 January 2008
verna.08.jucs Binary Methods Programming: the CLOS Perspective (extended version) Didier Verna Journal of Universal Computer Science 1 January 2008
kenny.08.odyssey The Role of Speaker Factors in the NIST Extended Data Task Patrick Kenny, Najim Dehak, Réda Dehak, Vishwa Gupta, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
dehak.08.odysseya Kernel Combination for SVM Speaker Verification Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
dehak.08.odysseyb Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification Najim Dehak, Réda Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
ricou.07.adass Web services at TERAPIX Olivier Ricou, Anthony Baillard, Emmanuel Bertin, Frederic Magnard, Chiara Marmo, Yannick Mellier Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) 23 September 2007
dehak.07.interspeech Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) 27 August 2007
verna.06.imecs How to make Lisp go faster than C Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 11 June 2007
ricou.07.eceg 10 years of confrontation between French Internet users and their successive governments Olivier Ricou Proceedings of the 7th European Conference on e-Government (ECEG) 1 June 2007
baillard.07.gretsi Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) 11 May 2007
berger.07.icip Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging Christophe Berger, Thierry Géraud, Roland Levillain, Nicolas Widynski, Anthony Baillard, Emmanuel Bertin Proceedings of the IEEE International Conference on Image Processing (ICIP) 3 May 2007
hamez.07.pohll libDMC: a library to Operate Efficient Distributed Model Checking Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 13 March 2007
le-quoc.07.ntms On the security of quantum networks: a proposal framework and its capacity Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) 10 March 2007
fouquier.07.gbr Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation Geoffroy Fouquier, Jamal Atif, Isabelle Bloch Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) 15 February 2007
verna.07.imecs CLOS solutions to binary methods Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 22 January 2007
darbon.07.mirage A Note on the Discrete Binary Mumford-Shah Model Jérôme Darbon Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) 29 December 2006
fouquier.07.icassp The Biosecure Geometry-based System for Hand Modality Geoffroy Fouquier, Laurence Likforman, Jérôme Darbon, Bulent Sankur Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 18 December 2006
le-quoc.07.rivf Stochastic routing in large grid-shaped quantum networks Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) 4 December 2006
verna.06.ijcs How to make Lisp go faster than C Didier Verna IAENG International Journal of Computer Science 1 December 2006
darbon.07.ei The use of levelable regularization functions for MRF restoration of SAR images Jérôme Darbon, Marc Sigelle, Florence Tupin Proceedings of the 19th Symposium SPIE on Electronic Imaging 30 September 2006
baillard.05.adass Project EFIGI: Automatic classification of galaxies Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, Pascal Fouqué Astronomical Data Analysis Software and Systems XV 20 September 2006
demaille.06.isola Modeling of Sensor Networks Using XRM Akim Demaille, Sylvain Peyronnet, Benoît Sigoure Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) 14 September 2006
darbon.06.tr A note on nice-levelable MRFs for SAR image denoising with contrast preservation Jérôme Darbon, Marc Sigelle, Florence Tupin 1 September 2006
lesage.06.isvc An Efficient Algorithm for Connected Attribute Thinnings and Thickenings David Lesage, Jérôme Darbon, Ceyhun Burak Akgül Proceedings of the second International Conference on Visual Computing 9 August 2006
darbon.06.iccp Approximate Probabilistic Model Checking for Programs Jérôme Darbon, Richard Lassaigne, Sylvain Peyronnet Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) 27 July 2006
cadilhac.06.avocs Evaluating complex MAC protocols for sensor networks with APMC Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) 27 July 2006
david.06.iccp Attribute Grammars for Modular Disambiguation Valentin David, Akim Demaille, Olivier Gournet Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) 12 July 2006
verna.06.ecoop Beating C in Scientific Computing Applications Didier Verna Third European Lisp Workshop at ECOOP 11 July 2006
yoruk.06.itip Shape-based hand recognition Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon IEEE Transactions on Image Processing 1 July 2006
dehak.06.nist LRDE System description Réda Dehak, Charles-Alban Deledalle, Najim Dehak NIST SRE'06 Workshop: speaker recognition evaluation campaign 1 June 2006
perrot.06.nist ENST-IRCGN System Description Patrick Perrot, Réda Dehak, Gérard Chollet NIST SRE'06 Workshop: speaker recognition evaluation campaign 30 May 2006
denise.06.rt Uniform Random Sampling of Traces in Very Large Models Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet Proceedings of the 1st international workshop on Random Testing 2006 (RT06) 30 May 2006
chekroun.06.iciar On a Polynomial Vector Field Model for Shape Representation Mickael Chekroun, Jérôme Darbon, Igor Ciril Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) 28 April 2006
darbon.06.jmiv Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
darbon.06.jmivb Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
darbon.06.siam Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials Jérôme Darbon, Marc Sigelle SIAM Conference on Imaging Sciences 22 February 2006
demaille.06.rivf Probabilistic Verification of Sensor Networks Akim Demaille, Sylvain Peyronnet, Thomas Hérault Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) 1 February 2006
duflot.06.book Practical Application of Probabilistic Model Checking to Communication Protocols Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston FMICS Handbook on Industrial Critical Systems 1 January 2006
herault.06.qest APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet Proceedings of Qest 2006 1 January 2006
laplante.07.tocl Probabilistic abstraction for model checking: an approach based on property testing Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont ACM Transactions on Computational Logic 21 November 2005
borghi.06.crossroads C-Transformers — A Framework to Write C Program Transformations Alexandre Borghi, Valentin David, Akim Demaille ACM Crossroads 16 October 2005
darbon.05.phd Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images Jérôme Darbon 1 October 2005
dehak.05.pami Spatial reasoning with relative incomplete information on relative positioning Réda Dehak, Isabelle Bloch, Henri Maître IEEE Transactions on Pattern Analysis and Machine Intelligence 1 September 2005
darbon.05.isvc A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization Jérôme Darbon, Sylvain Peyronnet Proceedings of the First International Conference on Visual Computing 20 August 2005
claveirole.05.ciaa Inside Vaucanson Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch Proceedings of Implementation and Application of Automata10th International Conference (CIAA) 25 May 2005
guirado.05.pdmc Distribution, approximation and probabilistic model checking Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) 23 May 2005
darbon.05.ispa Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter Jérôme Darbon Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) 27 April 2005
darbon.05.eusipco An efficient algorithm for attribute openings and closings Jérôme Darbon, Ceyhun Burak Akgül Proceedings of the 13th European Signal Processing Conference (EUSIPCO) 14 April 2005
lassaigne.05.wollic Probabilistic verification and approximation Richard Lassaigne, Sylvain Peyronnet Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) 11 April 2005
demaille.05.iticse Making Compiler Construction Projects Relevant to Core Curriculums Akim Demaille Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) 6 February 2005
darbon.05.ibpria A Fast and Exact Algorithm for Total Variation Minimization Jérôme Darbon, Marc Sigelle Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) 18 January 2005
geraud.05.ismm Ruminations on Tarjan's Union-Find algorithm and connected operators Thierry Géraud Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) 5 January 2005
darbon.05.tr A fast and exact algorithm for total variation minimization Jérôme Darbon, Marc Sigelle 1 January 2005
vaucanson.04.techrep Proposal: an XML representation for automata The Vaucanson group 1 November 2004
lombardy.04.tcs Introducing Vaucanson Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch Theoretical Computer Science 1 November 2004
darbon.04.tr Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle 1 October 2004
geraud.04.jasp Fast road network extraction in satellite images using mathematical morphology and Markov random fields Thierry Géraud, Jean-Baptiste Mouret EURASIP Journal on Applied Signal Processing 5 September 2004
darbon.04.iwcia Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) 1 September 2004
yoruk.04.eusipco Person authentication based on hand shape Erdem Yoruk, Ender Konukoglu, Bulent Sankur, Jérôme Darbon Proceedings of 12th European Signal Processing Conference (EUSIPCO) 1 September 2004
geraud.04.iccvg Fast color image segmentation based on levellings in feature Space Thierry Géraud, Giovanni Palma, Niels Van Vliet Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 11 August 2004
bloch.05.prl Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud Pattern Recognition Letters 9 July 2004
grosicki.04.icc A novel method to fight the non line of sight error in AOA measurements for mobile location Emmanuel Grosicki, Karim Abed-Meraim, Réda Dehak Proceedings of the IEEE International Conference on Communications (ICC) 1 June 2004
maes.04.mpool Metagene, a C++ meta-program generation tool Francis Maes Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) 25 May 2004
lefebvre.04.tr Unified texture management for arbitrary meshes Sylvain Lefebvre, Jérôme Darbon, Fabrice Neyret 26 April 2004
darbon.04.ecoopphd Generic algorithmic blocks dedicated to image processing Jérôme Darbon, Thierry Géraud, Patrick Bellot Proceedings of the ECOOP Workshop for PhD Students 10 March 2004
duflot.04.avocs Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stephane Messika, Sylvain Peyronnet, Claudine Picaronny Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) 1 January 2004
burrus.03.mpool A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming Nicolas Burrus, Alexandre Duret-Lutz, Thierry Géraud, David Lesage, Raphaël Poss Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL) 29 October 2003
bloch.03.ai Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging Isabelle Bloch, Thierry Géraud, Henri Maître Artificial Intelligence 1 August 2003
maes.03.dpcool Program templates: expression templates applied to program evaluation Francis Maes Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) 31 July 2003
geraud.03.icisp Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux Thierry Géraud Proceedings of the International Conference on Image and Signal Processing (ICISP) 1 June 2003
regisgianas.03.poosc On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson Yann Régis-Gianas, Raphaël Poss Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) 26 May 2003
lombardy.03.ciaa Introducing Vaucanson Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) 5 May 2003
geraud.03.grec Document type recognition using evidence theory Thierry Géraud, Geoffroy Fouquier, Quoc Peyrot, Nicolas Lucas, Franck Signorile Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) 29 April 2003
xue.03.icip Multi-band segmentation using morphological clustering and fusion application to color image segmentation Heru Xue, Thierry Géraud, Alexandre Duret-Lutz Proceedings of the IEEE International Conference on Image Processing (ICIP) 10 April 2003
geraud.03.ibpria Segmentation of curvilinear objects using a watershed-based curve adjacency graph Thierry Géraud Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) 10 March 2003
geraud.03.nsip Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF Thierry Géraud Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) 31 January 2003
carlier.02.itrs Polar type inference with intersection types and ω Sébastien Carlier Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science 1 July 2002
darbon.02.ismm Generic implementation of morphological image operators Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) 1 April 2002
geraud.01.icip Color image segmentation based on automatic morphological clustering Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon Proceedings of the IEEE International Conference on Image Processing (ICIP) 1 October 2001
verna.01.sci Virtual reality and tele-operation: a common framework Didier Verna Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering 1 July 2001
duret.01.ae Expression templates in Ada 95 Alexandre Duret-Lutz Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) 1 May 2001
geraud.01.icisp Segmentation d'images en couleur par classification morphologique non supervisée Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon Proceedings of the International Conference on Image and Signal Processing (ICISP) 1 May 2001
geraud.01.ai Applying generic programming to image processing Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications 1 February 2001
angelidis.01.wscg Visualization issues in virtual environments: from computer graphics techniques to intentional visualization Alexis Angelidis, Geoffroy Fouquier Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) 1 February 2001
darbon.01.ei Error correcting code performance for watermark protection Jérôme Darbon, Bulent Sankur, Henri Maître Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) 1 January 2001
duret.01.coots Generic design patterns in C++ Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS) 1 January 2001
fabre.00.vsmm Urbi et Orbi: unusual design and implementation choices for distributed virtual environments Yoann Fabre, Guillaume Pitel, Didier Verna Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop 1 October 2000
duret.00.gcse Olena: a component-based platform for image processingmixing generic, generative and OO programming Alexandre Duret-Lutz Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000” 1 October 2000
verna.00.vsmm Action recognition: how intelligent virtual environments can ease human-machine interaction Didier Verna Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop 1 October 2000
geraud.00.icpr Obtaining genericity for image processing and pattern recognition algorithms Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz, Dimitri Papadopoulos-Orfanos, Jean-François Mangin Proceedings of the 15th International Conference on Pattern Recognition (ICPR) 1 September 2000
fabre.00.vw A framework to dynamically manage distributed virtual environments Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille Proceedings of the 2nd International Conference on Virtual Worlds (VW) 1 July 2000
geraud.00.europlop Generic programming redesign of patterns Thierry Géraud, Alexandre Duret-Lutz Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP) 1 July 2000
fabre.00.egve An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE) 1 June 2000
geraud.00.rfia Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues Thierry Géraud, Isabelle Bloch, Henri Maître Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA) 1 February 2000
clouard.99.tr Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images Régis Clouard, Abderrahim Elmoataz, François Angot, Olivier Lezoray, Alexandre Duret-Lutz 1 November 1999
geraud.99.gretsi Vers une réutilisabilité totale des algorithmes de traitement d'images Thierry Géraud, Yoann Fabre, Dimitri Papadopoulos-Orfanos, Jean-François Mangin Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI) 1 September 1999
geraud.99.cimaf Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information Thierry Géraud, Isabelle Bloch, Henri Maître Proceeding of CIMAF Symposium on Artificial Intelligence 1 January 1999