Semantic search
- Publication Practical Stutter-Invariance Checks for ω-Regular Languages in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Publication Practical “Paritizing” of Emerson–Lei Automata in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) — 7 July 2020
- Publication Probabilistic Verification of Sensor Networks in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) — 1 February 2006
- Publication Probabilistic abstraction for model checking: an approach based on property testing in ACM Transactions on Computational Logic — 21 November 2005
- Publication Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC in Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) — 1 January 2004
- Publication Probabilistic verification and approximation in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) — 11 April 2005
- Publication Program templates: expression templates applied to program evaluation in Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) — 31 July 2003
- Publication Programmatic Manipulation of Common Lisp Type Specifiers in European Lisp Symposium — 6 February 2017
- Publication Project EFIGI: Automatic classification of galaxies in Astronomical Data Analysis Software and Systems XV — 20 September 2006
- Project TerraRush (TerraRush- French Version) accepted — 26 December 2011
- Project eTourismAugmentedReality (eTourismeAugmenté - French version) accepted — 16 January 2012
- Project LINXV2 started — 1 May 2013
- Publication Proposal: an XML representation for automata — 1 November 2004
- QCM 1.0 is released — 15 October 2004
- QCM 2.1 is released — 27 November 2004
- Publication QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results in Journal of Machine Learning for Biomedical Imaging (MELBA) — 9 January 2022
- Publication Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 — 24 March 2022
- Publication Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo in TUGboat — 6 November 2019
- Publication Reactive Synthesis from LTL Specification with Spot in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 — 7 June 2018
- Publication Real-Time Document Detection in Smartphone Videos in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) — 10 May 2018
- Publication Recognizing Heterogeneous Sequences by Rational Type Expression in Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection — 14 September 2018
- Publication Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues in Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA) — 1 February 2000
- Publication Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes in Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) — 12 April 2016
- Publication Report on the 5th Workshop ELW at ECOOP 2008 in Object-Oriented Technology. ECOOP 2008 Workshop Reader — 1 July 2008
- Publication Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging in Artificial Intelligence — 1 August 2003
- Publication Representing and Computing with Types in Dynamically Typed Languages — 1 November 2018
- Publication Residual 3D U-Net with Localization for Brain Tumor Segmentation in International MICCAI Brainlesion Workshop — 31 December 2021
- Publication Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis in Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS) — 10 December 2013
- Publication Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) — 17 May 2021
- Publication Revisiting the Visitor: the Just Do It Pattern in Proceedings of the ACCU Conference 2009 — 29 December 2008
- Publication Revisiting the Visitor: the Just Do It Pattern in Journal of Universal Computer Science — 1 January 2010
- Roland Levillain defends his Ph.D. thesis — 15 November 2011
- Publication Ruminations on Tarjan's Union-Find algorithm and connected operators in Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) — 5 January 2005
- Publication SAT-based Minimization of Deterministic ω-Automata in Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) — 1 September 2015
- Publication Saliency-Based Detection of Identity Documents Captured by Smartphones in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) — 2 February 2018
- Publication Salient Level Lines Selection Using the Mumford-Shah Functional in Proceedings of the 20th International Conference on Image Processing (ICIP) — 27 May 2013
- SdfOption 0.1 is released — 21 June 2003
- Publication 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 in Actes du 26e Colloque GRETSI — 20 June 2017
- Publication Segmentation d'images en couleur par classification morphologique non supervisée in Proceedings of the International Conference on Image and Signal Processing (ICISP) — 1 May 2001
- Publication 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 in Proceedings of the International Conference on Image and Signal Processing (ICISP) — 1 June 2003
- Publication 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 in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” — 4 May 2018
- Publication Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure in Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI — 5 November 2018
- Publication Segmentation of curvilinear objects using a watershed-based curve adjacency graph in Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) — 10 March 2003
- Publication Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
- Publication Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking in Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) — 23 June 2011
- Publication Semantics driven disambiguation: A comparison of different approaches in Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) — 8 February 2008
- Publication Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) in Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) — 26 May 2008
- LRDE Seminar on Performance and Genericity - Performance et Généricité dans Qgar — 20 February 2008
by Vitor Vasconcelos Araujo Silva, LORIA Nancy
- LRDE Seminar on Performance and Genericity - Aspect-oriented Programming, LRDE Seminar on Performance and Genericity - Context-oriented Programming with ContextL — 26 March 2008
by Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway, by Pascal Costanza, Vrije Universiteit, Brussel, Belgium
- LRDE Seminar on Performance and Genericity - Mouldable Programming, LRDE Seminar on Performance and Genericity - High-Level Abstractions and Optimization — 30 April 2008
by Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway, by Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway