Semantic search
- Publication Community and LBD-based Clause Sharing Policy for Parallel SAT Solving in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) — 1 June 2020
- Publication Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map in Symposium on Implementation and Application of Functional Languages — 31 August 2022
- Publication Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
- Publication Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images — 1 October 2005
- Publication Compositional Approach to Suspension and Other Improvements to LTL Translation in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13) — 28 April 2013
- Publication Connected Filtering on Tree-Based Shape-Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 5 June 2015
- Publication Connected Filters on Generalized Shape-Spaces in Pattern Recognition Letters — 20 September 2019
- Publication Constructing a braid of partitions from hierarchies of partitions in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) — 13 March 2019
- Publication Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes in Proceedings of the 19th International Conference on Image Processing (ICIP) — 17 April 2012
- Publication Context-Oriented Image Processing in Context-Oriented Programming Workshop — 1 January 2015
- Publication Continuous Well-Composedness implies Digital Well-Composedness in n-D in Journal of Mathematical Imaging and Vision — 9 November 2021
- Publication Contribution aux tests de vacuité pour le model checking explicite — 5 December 2014
- Publication Contributions to LTL and ω-Automata for Model Checking — 1 February 2017
- Publication Cosine Similarity Scoring without Score Normalization Techniques in Odyssey The Speaker and Language Recognition — 1 January 2010
- Publication CosySEL: Improving SAT Solving Using Local Symmetries in 24th International Conference on Verification, Model Checking, and Abstract Interpretation — 8 December 2022
- CurVe 1.10 is released — 14 September 2005
- CurVe 1.11 is released — 7 June 2006
- CurVe 1.13 is released — 21 August 2007
- CurVe 1.14 is released — 27 November 2007
- CurVe 1.15 is released — 25 February 2008
- CurVe 1.6 is released — 10 March 2004
- CurVe 1.7 is released — 19 May 2004
- CurVe 1.9 is released — 21 July 2005
- Publication Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey in IEEE Access — 1 January 2022
- Publication Debug Packages in OpenBSD in EuroBSDCon 2021 — 1 January 2021
- Publication Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy in Medical Image Analysis — 24 February 2021
- Publication Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina in Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V — 25 October 2018
- Publication Derived-Term Automata of Multitape Expressions with Composition in Scientific Annals of Computer Science — 29 December 2017
- Publication Derived-Term Automata of Multitape Rational Expressions in Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) — 26 April 2016
- Publication Derived-Term Automata of Weighted Rational Expressions with Quotient Operators in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) — 5 July 2017
- Publication Derived-term Automata for Extended Weighted Rational Expressions in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) — 6 July 2016
- Didider Verna will give a talk on 'Language extensibility and its impact on DSL design and implementation: A case study in Lisp'at the ECOOP workshop on Domain Specific Languages Design and Implementation (DSLDI) in Montpellier — 21 May 2013
- Didier Verna invited to Vrije University of Brussels — 26 January 2010
Didier Verna will be at the Vrije University of Brussels on January 26th
- Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at ACCU 2013 — 3 January 2013
- Publication Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery in Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022 — 19 September 2022
- Publication Discrete Morse Functions and Watersheds in Journal of Mathematical Imaging and Vision (Special Edition) — 1 January 2023
- Publication Discrete set-valued continuity and interpolation in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
- Publication Distribution, approximation and probabilistic model checking in Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) — 23 May 2005
- Publication Diversifying a Parallel SAT Solver with Bayesian Moment Matching in Symposium on Dependable Software Engineering TheoriesTools and Applications — 8 December 2022
- Publication Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation in Proceedings of the 25th International Conference on Pattern Recognition (ICPR) — 2 November 2020
- DoX 1.0 is released — 11 September 2009
- DoX 2.0 is released — 21 September 2009
- Publication Document detection in videos captured by smartphones using a saliency-based method in International Conference on Document Analysis and Recognition Workshops (ICDARW) — 20 September 2018
- Publication Document type recognition using evidence theory in Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) — 29 April 2003
- Publication Données, Transparence et Démocratie — 1 May 2022
- Publication Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 — 24 January 2022
- Publication ENST-IRCGN System Description in NIST SRE'06 Workshop: speaker recognition evaluation campaign — 30 May 2006
- Publication ETAP: Experimental Typesetting Algorithms Platform in 15th European Lisp Symposium — 1 March 2022
- Edwin Carlinet becomes PhD-student at LRDE — 10 September 2012
- Publication Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 3 May 2007