Semantic search
- Publication Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information in Proceeding of CIMAF Symposium on Artificial Intelligence — 1 January 1999
- Publication Attribute Grammars for Modular Disambiguation in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) — 12 July 2006
- Publication Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness in Multimedia Tools and Applications — 29 June 2017
- Publication Automatically Guided Selection of a Set of Underwater Calibration Images in Journal of Marine Science and Engineering (JMSE) [MDPI] — 1 January 2022
- Publication Automation of Binary Analysis: From Open Source Collection to Threat Intelligence in Proceedings of the 28th C&ESAR — 1 January 2021
- Publication Beating C in Scientific Computing Applications in Third European Lisp Workshop at ECOOP — 11 July 2006
- Publication Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge in IEEE Transactions on Medical Imaging — 11 April 2019
- Publication Benchmarking Keypoint Filtering Approaches for Document Image Matching in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) — 4 July 2017
- Publication Binary Methods Programming: the CLOS Perspective in Proceedings of the First European Lisp Symposium — 31 March 2009
- Publication Binary Methods Programming: the CLOS Perspective (extended version) in Journal of Universal Computer Science — 1 January 2008
- Publication Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them in Onward! 2011 — 1 January 2011
- Publication Blockchain-Based Solution for Detecting and Preventing Fake Check Scams in IEEE Transactions on Engineering Management — 1 January 2021
- BoxedSdf 0.1 is released — 18 June 2003
- Publication Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images in Pattern Recognition — 1 July 2019
- Publication Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation in Fundamenta Informaticae — 1 January 2009
- Publication C-Transformers — A Framework to Write C Program Transformations in ACM Crossroads — 16 October 2005
- Publication CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) — 5 January 2018
- Publication CLOS Efficiency: Instantiation in Proceedings of the International Lisp Conference — 13 January 2009
- Publication CLOS solutions to binary methods in Proceedings of the International MultiConference of Engineers and Computer Scientists — 22 January 2007
- Publication CLoX: Common Lisp objects for XEmacs in Proceedings of the 3rd European Lisp Symposium — 9 March 2010
- Publication Caractérisation des zones de mouvement périodiques pour applications bio-médicales in Actes du 26e Colloque GRETSI — 28 June 2017
- Publication Catoids and Modal Convolution Algebras in Algebra Universalis — 5 March 2023
- Publication Cepstral and Long-Term Features for Emotion Recognition in Interspeech — 22 June 2009
- Publication Classes, Styles, Conflicts: the Biological Realm of LaTeX in TUGboat — 9 March 2010
- CodeBoost tutorial morning — 19 May 2004
CodeBoost is a framework for C++ source to source transformation. It's developed at the university of
- Publication Color image segmentation based on automatic morphological clustering in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 1 October 2001
- Publication Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 16 February 2021
- Publication Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking — 1 June 2011
- Publication Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) — 19 May 2015
- Publication Combining Parallel Emptiness Checks with Partial Order Reductions in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) — 2 August 2019
- 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