Semantic search
- 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
- Publication Effective Reductions of Mealy Machines in Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) — 26 April 2022
- Publication Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations 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 Efficient Dynamic Type Checking of Heterogeneous Sequences — 22 February 2016
- Publication Efficient Multiscale Sauvola's Binarization in International Journal of Document Analysis and Recognition (IJDAR) — 25 April 2013
- Publication Electricity Price Forecasting on the Day-Ahead Market using Machine Learning in Applied Energy — 10 March 2022
- Publication Energy Problems in Finite and Timed Automata with Büchi Conditions in International Symposium on Formal Methods (FM) — 8 December 2022
- Publication Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids in Journal of Mathematical Imaging and Vision — 3 September 2020
- Publication Error correcting code performance for watermark protection in Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) — 1 January 2001
- Publication Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur in Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) — 1 July 2014
- Publication Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) — 22 November 2016