Semantic search

Title Authors Published in Date
dehak.11.taslp Front-End Factor Analysis For Speaker Verification Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet IEEE Transactions on Audio, Speech, and Language Processing 1 May 2011
dolstra.10.jfp NixOS: A purely functional Linux distribution Eelco Dolstra, Andres Löh, Nicolas Pierron Journal of Functional Programming 15 October 2010
verna.10.jucs Revisiting the Visitor: the Just Do It Pattern Didier Verna Journal of Universal Computer Science 1 January 2010
hamez.09.fi Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Fundamenta Informaticae 1 January 2009
verna.08.jucs Binary Methods Programming: the CLOS Perspective (extended version) Didier Verna Journal of Universal Computer Science 1 January 2008
verna.06.ijcs How to make Lisp go faster than C Didier Verna IAENG International Journal of Computer Science 1 December 2006
yoruk.06.itip Shape-based hand recognition Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon IEEE Transactions on Image Processing 1 July 2006
darbon.06.jmiv Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
darbon.06.jmivb Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
laplante.07.tocl Probabilistic abstraction for model checking: an approach based on property testing Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont ACM Transactions on Computational Logic 21 November 2005
borghi.06.crossroads C-Transformers — A Framework to Write C Program Transformations Alexandre Borghi, Valentin David, Akim Demaille ACM Crossroads 16 October 2005
dehak.05.pami Spatial reasoning with relative incomplete information on relative positioning Réda Dehak, Isabelle Bloch, Henri Maître IEEE Transactions on Pattern Analysis and Machine Intelligence 1 September 2005
lombardy.04.tcs Introducing Vaucanson Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch Theoretical Computer Science 1 November 2004
geraud.04.jasp Fast road network extraction in satellite images using mathematical morphology and Markov random fields Thierry Géraud, Jean-Baptiste Mouret EURASIP Journal on Applied Signal Processing 5 September 2004
bloch.05.prl Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud Pattern Recognition Letters 9 July 2004
bloch.03.ai 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 Artificial Intelligence 1 August 2003