Semantic search
No value
- On Robustness for the Skolem and Positivity Problems (News year 2022, Has title On Robustness for the Skolem and Positivity Problems, Published in 39th International Symposium on Theoretical Aspects of Computer Science STACS)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence (News year 2021, Has title On Some Associations Between Mathematical Morphology and Artificial Intelligence, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- On a Polynomial Vector Field Model for Shape Representation (News year 2006, Has title On a Polynomial Vector Field Model for Shape Representation, Published in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR))
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson (News year 2003, Has title On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson, Published in Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP))
- On the Usefulness of Clause Strengthening in Parallel SAT Solving (News year 2020, Has title On the Usefulness of Clause Strengthening in Parallel SAT Solving, Published in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
- On the security of quantum networks: a proposal framework and its capacity (News year 2007, Has title On the security of quantum networks: a proposal framework and its capacity, Published in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07))
- On-the-fly Emptiness Check of Transition-based Streett Automata (News year 2009, Has title On-the-fly Emptiness Check of Transition-based Streett Automata, Published in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09))
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures (News year 2019, Has title One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures, Published in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Optimization of the Product Configuration System of Renault (News year 2023, Has title Optimization of the Product Configuration System of Renault, Published in SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes (News year 2012, Has title Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)
- PAIP 2019: Liver Cancer Segmentation Challenge (News year 2020, Has title PAIP 2019: Liver Cancer Segmentation Challenge, Published in Medical Image Analysis)
- PaInleSS: a Framework for Parallel SAT Solving (News year 2017, Has title PaInleSS: a Framework for Parallel SAT Solving, Published in Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17))
- Parallel Computation of Component Trees on Distributed Memory Machines (News year 2018, Has title Parallel Computation of Component Trees on Distributed Memory Machines, Published in IEEE Transactions on Parallel and Distributed Systems)
- Parallel Explicit Model Checking for Generalized Büchi Automata (News year 2015, Has title Parallel Explicit Model Checking for Generalized Büchi Automata, Published in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15))
- Parallel Learning Portfolio-Based Solvers (News year 2017, Has title Parallel Learning Portfolio-Based Solvers, Published in Proceedings of the International Conference on Computational Science (ICCS))
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic (News year 2018, Has title Parallel Model Checking Algorithms for Linear-Time Temporal Logic, Published in Handbook of Parallel Constraint Reasoning)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method (News year 2017, Has title Parallel Satisfiability Solver Based on Hybrid Partitioning Method, Published in Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP))
- Parallelizing Quickref (News year 2019, Has title Parallelizing Quickref, Published in 12th European Lisp Symposium)
- Periodic Area-of-Motion characterization for Bio-Medical applications (News year 2017, Has title Periodic Area-of-Motion characterization for Bio-Medical applications, Published in Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI))
- Person authentication based on hand shape (News year 2004, Has title Person authentication based on hand shape, Published in Proceedings of 12th European Signal Processing Conference (EUSIPCO))
- Polar type inference with intersection types and ω (News year 2002, Has title Polar type inference with intersection types and ω, Published in Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science)
- Posets With Interfaces as a Model for Concurrency (News year 2022, Has title Posets With Interfaces as a Model for Concurrency, Published in Information and Computation)
- Practical Application of Probabilistic Model Checking to Communication Protocols (News year 2006, Has title Practical Application of Probabilistic Model Checking to Communication Protocols, Published in FMICS Handbook on Industrial Critical Systems)
- Practical Applications of the Alternating Cycle Decomposition (News year 2022, Has title Practical Applications of the Alternating Cycle Decomposition, Published in Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22))
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient (News year 2014, Has title Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient, Published in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP))
- Practical Stutter-Invariance Checks for ω-Regular Languages (News year 2015, Has title Practical Stutter-Invariance Checks for ω-Regular Languages, Published in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15))
- Practical “Paritizing” of Emerson–Lei Automata (News year 2020, Has title Practical “Paritizing” of Emerson–Lei Automata, Published in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- Probabilistic Verification of Sensor Networks (News year 2006, Has title Probabilistic Verification of Sensor Networks, Published in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06))
- Probabilistic abstraction for model checking: an approach based on property testing (News year 2005, Has title Probabilistic abstraction for model checking: an approach based on property testing, Published in ACM Transactions on Computational Logic)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC (News year 2004, Has title Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC, Published in Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS))
- Probabilistic verification and approximation (News year 2005, Has title Probabilistic verification and approximation, Published in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic))
- Program templates: expression templates applied to program evaluation (News year 2003, Has title Program templates: expression templates applied to program evaluation, Published in Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI))
- Programmatic Manipulation of Common Lisp Type Specifiers (News year 2017, Has title Programmatic Manipulation of Common Lisp Type Specifiers, Published in European Lisp Symposium)
- Project EFIGI: Automatic classification of galaxies (News year 2006, Has title Project EFIGI: Automatic classification of galaxies, Published in Astronomical Data Analysis Software and Systems XV)
- Proposal: an XML representation for automata (News year 2004, Has title Proposal: an XML representation for automata)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results (News year 2022, Has title QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results, Published in Journal of Machine Learning for Biomedical Imaging (MELBA))
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN (News year 2022, Has title Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN, Published in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (News year 2019, Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo, Published in TUGboat)
- Reactive Synthesis from LTL Specification with Spot (News year 2018, Has title Reactive Synthesis from LTL Specification with Spot, Published in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018)
- Real-Time Document Detection in Smartphone Videos (News year 2018, Has title Real-Time Document Detection in Smartphone Videos, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Recognizing Heterogeneous Sequences by Rational Type Expression (News year 2018, Has title Recognizing Heterogeneous Sequences by Rational Type Expression, Published in Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues (News year 2000, Has title Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues, Published in Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA))
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes (News year 2016, Has title Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes, Published in Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS))
- Report on the 5th Workshop ELW at ECOOP 2008 (News year 2008, Has title Report on the 5th Workshop ELW at ECOOP 2008, Published in Object-Oriented Technology. ECOOP 2008 Workshop Reader)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging (News year 2003, Has title Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging, Published in Artificial Intelligence)
- Representing and Computing with Types in Dynamically Typed Languages (News year 2018, Has title Representing and Computing with Types in Dynamically Typed Languages)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation (News year 2021, Has title Residual 3D U-Net with Localization for Brain Tumor Segmentation, Published in International MICCAI Brainlesion Workshop)
- Resources for the DAS 2014 submission (News year 2013, Has title Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis, Published in Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS))
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation (News year 2021, Has title Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation, Published in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- Revisiting the Visitor: the Just Do It Pattern (News year 2010, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Journal of Universal Computer Science)