Semantic search
Authors | Title | Published in | Date | |
---|---|---|---|---|
NixOS: A purely functional Linux distribution | Eelco Dolstra Andres Löh Nicolas Pierron | NixOS: A purely functional Linux distribution | Journal of Functional Programming | 15 October 2010 |
Revisiting the Visitor: the Just Do It Pattern | Didier Verna | Revisiting the Visitor: the Just Do It Pattern | Journal of Universal Computer Science | 1 January 2010 |
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation | Alexandre Hamez Yann Thierry-Mieg Fabrice Kordon | Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation | Fundamenta Informaticae | 1 January 2009 |
Binary Methods Programming: the CLOS Perspective (extended version) | Didier Verna | Binary Methods Programming: the CLOS Perspective (extended version) | Journal of Universal Computer Science | 1 January 2008 |
How to make Lisp go faster than C | Didier Verna | How to make Lisp go faster than C | IAENG International Journal of Computer Science | 1 December 2006 |
Shape-based hand recognition | Erdem Yörük Ender Konukoglu Bülent Sankur Jérôme Darbon | Shape-based hand recognition | IEEE Transactions on Image Processing | 1 July 2006 |
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization | Jérôme Darbon Marc Sigelle | Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization | Journal of Mathematical Imaging and Vision | 24 March 2006 |
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case | Jérôme Darbon Marc Sigelle | Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case | Journal of Mathematical Imaging and Vision | 24 March 2006 |
Probabilistic abstraction for model checking: an approach based on property testing | Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont | Probabilistic abstraction for model checking: an approach based on property testing | ACM Transactions on Computational Logic | 21 November 2005 |
C-Transformers — A Framework to Write C Program Transformations | Alexandre Borghi Valentin David Akim Demaille | C-Transformers — A Framework to Write C Program Transformations | ACM Crossroads | 16 October 2005 |
Spatial reasoning with relative incomplete information on relative positioning | Réda Dehak Isabelle Bloch Henri Maître | Spatial reasoning with relative incomplete information on relative positioning | IEEE Transactions on Pattern Analysis and Machine Intelligence | 1 September 2005 |
Introducing Vaucanson | Sylvain Lombardy Yann Régis-Gianas Jacques Sakarovitch | Introducing Vaucanson | Theoretical Computer Science | 1 November 2004 |
Fast road network extraction in satellite images using mathematical morphology and Markov random fields | Thierry Géraud Jean-Baptiste Mouret | Fast road network extraction in satellite images using mathematical morphology and Markov random fields | EURASIP Journal on Applied Signal Processing | 5 September 2004 |
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI | Isabelle Bloch Olivier Colliot Oscar Camara Thierry Géraud | Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI | Pattern Recognition Letters | 9 July 2004 |
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging | Isabelle Bloch Thierry Géraud Henri Maître | Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging | Artificial Intelligence | 1 August 2003 |