Semantic search
Debug output SQLStore
ASK Query
[[Category:Publications]]
SQL Query
SELECT DISTINCT
t0.smw_id AS id,
t0.smw_title AS t,
t0.smw_namespace AS ns,
t0.smw_iw AS iw,
t0.smw_subobject AS so,
t0.smw_sortkey AS sortkey, t4.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_time` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=5352)
AND (t4.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_sortkey DESC
LIMIT
255
OFFSET
280
t0.smw_id AS id,
t0.smw_title AS t,
t0.smw_namespace AS ns,
t0.smw_iw AS iw,
t0.smw_subobject AS so,
t0.smw_sortkey AS sortkey, t4.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_time` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=5352)
AND (t4.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_sortkey DESC
LIMIT
255
OFFSET
280
SQL Explain
ID | select_type | table | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
---|---|---|---|---|---|---|---|---|---|---|
1 | SIMPLE | t1 | ref | s_id, o_id, s_id_2, o_id_2 | o_id_2 | 5 | const | 434 | Using index; Using temporary; Using filesort | |
1 | SIMPLE | t0 | eq_ref | PRIMARY, smw_id, smw_iw, smw_iw_2 | PRIMARY | 4 | www_public.t1.s_id | 1 | Using where | |
1 | SIMPLE | t4 | ref | s_id, p_id, p_id_2, s_id_2 | s_id_2 | 8 | www_public.t1.s_id, const | 1 | Using index |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:1Query-Depth:0
Errors and Warnings
NoneTitle | Authors | Published in | Date | |
---|---|---|---|---|
levillain.12.wadgmm-lncs | Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework | Roland Levillain, Thierry Géraud, Laurent Najman | WADGMM 2010 | 8 August 2012 |
levillain.10.wadgmm | Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework | Roland Levillain, Thierry Géraud, Laurent Najman | Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) | 30 July 2012 |
xu.12.icpr | Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations | Yongchao Xu, Thierry Géraud, Laurent Najman | Proceedings of the 21st International Conference on Pattern Recognition (ICPR) | 16 June 2012 |
sennoussaoui.12.odyssey | First Attempt at Boltzmann Machines for Speaker Recognition | M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel | Odyssey Speaker and Language Recognition Workshop | 1 June 2012 |
geraud.12.hdr | Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes | Thierry Géraud | 1 June 2012 | |
senta.12.els | Generic Image Processing with Climb | Laurent Senta, Christopher Chedeau, Didier Verna | European Lisp Symposium | 1 May 2012 |
xu.12.icip | Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes | Yongchao Xu, Thierry Géraud, Laurent Najman | Proceedings of the 19th International Conference on Image Processing (ICIP) | 17 April 2012 |
fabrizio.12.spic | Motion compensation based on Tangent Distance prediction for video compression | Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat | Signal Processing: Image Communication | 9 February 2012 |
chedeau.12.tr | JSPP: Morphing C++ into JavaScript | Christopher Chedeau, Didier Verna | 1 January 2012 | |
verna.12.tug | Star TeX : the Next Generation | Didier Verna | TUGboat | 1 January 2012 |
bensalem.12.topnoc | Model Checking using Generalized Testing Automata | Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) | 1 January 2012 |
levillain.11.phd | Towards a Software Architecture for Generic Image Processing | Roland Levillain | 1 November 2011 | |
dehak.11.interspeech | Language Recognition via I-Vectors and Dimensionality Reduction | Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak | INTERSPEECH 2011 | 1 August 2011 |
duret.11.vecos | LTL Translation Improvements in Spot | Alexandre Duret-Lutz | Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) | 25 July 2011 |
duret.11.atva | Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg | Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) | 23 June 2011 |
lazzara.11.icdar | The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis | Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond | Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) | 1 June 2011 |
duret.11.arxiv | Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg | 1 June 2011 | |
bensalem.11.sumo | Generalized Büchi Automata versus Testing Automata for Model Checking | Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) | 25 May 2011 |
levillain.11.gretsi | Une approche générique du logiciel pour le traitement d'images préservant les performances | Roland Levillain, Thierry Géraud, Laurent Najman | Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) | 13 May 2011 |
dehak.11.icassp | A Channel-Blind System for Speaker Verification | Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass | International Conference on Acoustics, Speech and Signal Processing (ICASSP) | 1 May 2011 |
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 |
verna.11.onward | Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them | Didier Verna | Onward! 2011 | 1 January 2011 |
verna.11.tug | Towards LaTeX Coding Standards | Didier Verna | TUGboat | 1 January 2011 |
minetto.10.icip | SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes | Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 31 December 2010 |
dolstra.10.jfp | NixOS: A purely functional Linux distribution | Eelco Dolstra, Andres Löh, Nicolas Pierron | Journal of Functional Programming | 15 October 2010 |
geraud.10.livre | Morphologie et algorithmes | Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck | Morphologie mathématique 2 : estimation, choix et mise en œuvre | 1 September 2010 |
geraud.10.book | Algorithms for Mathematical Morphology | Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck | Mathematical Morphology—From Theory to Applications | 1 July 2010 |
linard.10.acsd | polyDD: Towards a Framework Generalizing Decision Diagrams | Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron | Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) | 1 June 2010 |
levillain.10.icip | Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library | Roland Levillain, Thierry Géraud, Laurent Najman | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 26 May 2010 |
verna.10.tug | Classes, Styles, Conflicts: the Biological Realm of LaTeX | Didier Verna | TUGboat | 9 March 2010 |
verna.10.els | CLoX: Common Lisp objects for XEmacs | Didier Verna | Proceedings of the 3rd European Lisp Symposium | 9 March 2010 |
verna.10.jucs | Revisiting the Visitor: the Just Do It Pattern | Didier Verna | Journal of Universal Computer Science | 1 January 2010 |
dehak.10.nist | LRDE Speaker Recognition System for NIST-SRE 2010 | Réda Dehak, Najim Dehak | NIST 2010 Speaker Recognition Evaluation | 1 January 2010 |
dehak.10.odyssey | Cosine Similarity Scoring without Score Normalization Techniques | Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny | Odyssey The Speaker and Language Recognition | 1 January 2010 |
dehak.10.odyssey2 | Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification | S Shum, Najim Dehak, Réda Dehak, J Glass | Odyssey The Speaker and Language Recognition | 1 January 2010 |
hamez.09.phd | Génération efficace de grands espaces d'états | Alexandre Hamez | 1 December 2009 | |
linard.09.phd | Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification | Alban Linard | 1 November 2009 | |
dehak.09.interspeech | Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification | Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel | Interspeech | 22 June 2009 |
dehak.09.interspeechb | Cepstral and Long-Term Features for Emotion Recognition | Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden | Interspeech | 22 June 2009 |
dehak.09.icassp | Support Vector Machines and Joint Factor Analysis for Speaker Verification | Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo | IEEE-ICASSP | 19 April 2009 |
levillain.09.ismm | Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images | Roland Levillain, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) | 9 April 2009 |
verna.08.els | Binary Methods Programming: the CLOS Perspective | Didier Verna | Proceedings of the First European Lisp Symposium | 31 March 2009 |
verna.09.ilc | CLOS Efficiency: Instantiation | Didier Verna | Proceedings of the International Lisp Conference | 13 January 2009 |
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 |
duret.09.atva | On-the-fly Emptiness Check of Transition-based Streett Automata | Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur | Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) | 1 January 2009 |
verna.09.accu | Revisiting the Visitor: the Just Do It Pattern | Didier Verna | Proceedings of the ACCU Conference 2009 | 29 December 2008 |
demaille.09.sac | TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing | Akim Demaille, Roland Levillain, Benoît Sigoure | Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) | 11 October 2008 |
demaille.08.fsmnlp | An XML format proposal for the description of weighted automata, transducers, and regular expressions | Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones | Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) | 28 July 2008 |
verna.08.lncs | Report on the 5th Workshop ELW at ECOOP 2008 | Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner | Object-Oriented Technology. ECOOP 2008 Workshop Reader | 1 July 2008 |
ricou.08.eceg | A Survey of French Local e-Democracy | Olivier Ricou | Proceedings of the 8th European Conference on e-Government (ECEG) | 1 July 2008 |
dehak.08.nist | The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation | Réda Dehak, Najim Dehak, Patrick Kenny | NIST-SRE 2008 | 1 June 2008 |
geraud.08.mpool | Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) | Thierry Géraud, Roland Levillain | Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) | 26 May 2008 |
demaille.08.iticse | A Set of Tools to Teach Compiler Construction | Akim Demaille, Roland Levillain, Benoît Perrot | Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) | 29 March 2008 |
hamez.08.atpn | Hierarchical Set Decision Diagrams and Automatic Saturation | Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon | Petri Nets and Other Models of Concurrency –ICATPN 2008 | 1 March 2008 |
demaille.08.ldta | Semantics driven disambiguation: A comparison of different approaches | Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure | Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) | 8 February 2008 |
le-quoc.08.ispec | Towards the World-Wide Quantum Network | Cuong Le Quoc, Patrick Bellot, Akim Demaille | Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) | 25 January 2008 |
hemon.08.sagt | Approximate Nash Equilibria for Multi-Player Games | Sébastien Hémon, Michel de Rougemont, Miklos Santha | 1st International Symposium on Algorithmic Games Theory | 18 January 2008 |
darbon.08.iwcia | Global Optimization for First Order Markov Random Fields with Submodular Priors | Jérôme Darbon | Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) | 3 January 2008 |
verna.08.jucs | Binary Methods Programming: the CLOS Perspective (extended version) | Didier Verna | Journal of Universal Computer Science | 1 January 2008 |
dehak.08.odysseya | Kernel Combination for SVM Speaker Verification | Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel | Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) | 25 September 2007 |
dehak.08.odysseyb | Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification | Najim Dehak, Réda Dehak, Patrick Kenny, Pierre Dumouchel | Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) | 25 September 2007 |
kenny.08.odyssey | The Role of Speaker Factors in the NIST Extended Data Task | Patrick Kenny, Najim Dehak, Réda Dehak, Vishwa Gupta, Pierre Dumouchel | Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) | 25 September 2007 |
ricou.07.adass | Web services at TERAPIX | Olivier Ricou, Anthony Baillard, Emmanuel Bertin, Frederic Magnard, Chiara Marmo, Yannick Mellier | Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) | 23 September 2007 |
dehak.07.interspeech | Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification | Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel | Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) | 27 August 2007 |
verna.06.imecs | How to make Lisp go faster than C | Didier Verna | Proceedings of the International MultiConference of Engineers and Computer Scientists | 11 June 2007 |
ricou.07.eceg | 10 years of confrontation between French Internet users and their successive governments | Olivier Ricou | Proceedings of the 7th European Conference on e-Government (ECEG) | 1 June 2007 |
baillard.07.gretsi | Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire | Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski | Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) | 11 May 2007 |
berger.07.icip | Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging | Christophe Berger, Thierry Géraud, Roland Levillain, Nicolas Widynski, Anthony Baillard, Emmanuel Bertin | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 3 May 2007 |
hamez.07.pohll | libDMC: a library to Operate Efficient Distributed Model Checking | Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg | Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 | 13 March 2007 |
le-quoc.07.ntms | On the security of quantum networks: a proposal framework and its capacity | Cuong Le Quoc, Patrick Bellot, Akim Demaille | Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) | 10 March 2007 |
fouquier.07.gbr | Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation | Geoffroy Fouquier, Jamal Atif, Isabelle Bloch | Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) | 15 February 2007 |
verna.07.imecs | CLOS solutions to binary methods | Didier Verna | Proceedings of the International MultiConference of Engineers and Computer Scientists | 22 January 2007 |
darbon.07.mirage | A Note on the Discrete Binary Mumford-Shah Model | Jérôme Darbon | Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) | 29 December 2006 |
fouquier.07.icassp | The Biosecure Geometry-based System for Hand Modality | Geoffroy Fouquier, Laurence Likforman, Jérôme Darbon, Bulent Sankur | Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | 18 December 2006 |
le-quoc.07.rivf | Stochastic routing in large grid-shaped quantum networks | Cuong Le Quoc, Patrick Bellot, Akim Demaille | Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) | 4 December 2006 |
verna.06.ijcs | How to make Lisp go faster than C | Didier Verna | IAENG International Journal of Computer Science | 1 December 2006 |
darbon.07.ei | The use of levelable regularization functions for MRF restoration of SAR images | Jérôme Darbon, Marc Sigelle, Florence Tupin | Proceedings of the 19th Symposium SPIE on Electronic Imaging | 30 September 2006 |
baillard.05.adass | Project EFIGI: Automatic classification of galaxies | Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, Pascal Fouqué | Astronomical Data Analysis Software and Systems XV | 20 September 2006 |
demaille.06.isola | Modeling of Sensor Networks Using XRM | Akim Demaille, Sylvain Peyronnet, Benoît Sigoure | Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) | 14 September 2006 |
darbon.06.tr | A note on nice-levelable MRFs for SAR image denoising with contrast preservation | Jérôme Darbon, Marc Sigelle, Florence Tupin | 1 September 2006 | |
lesage.06.isvc | An Efficient Algorithm for Connected Attribute Thinnings and Thickenings | David Lesage, Jérôme Darbon, Ceyhun Burak Akgül | Proceedings of the second International Conference on Visual Computing | 9 August 2006 |
darbon.06.iccp | Approximate Probabilistic Model Checking for Programs | Jérôme Darbon, Richard Lassaigne, Sylvain Peyronnet | Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) | 27 July 2006 |
cadilhac.06.avocs | Evaluating complex MAC protocols for sensor networks with APMC | Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil | Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) | 27 July 2006 |
david.06.iccp | Attribute Grammars for Modular Disambiguation | Valentin David, Akim Demaille, Olivier Gournet | Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) | 12 July 2006 |
verna.06.ecoop | Beating C in Scientific Computing Applications | Didier Verna | Third European Lisp Workshop at ECOOP | 11 July 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 |
dehak.06.nist | LRDE System description | Réda Dehak, Charles-Alban Deledalle, Najim Dehak | NIST SRE'06 Workshop: speaker recognition evaluation campaign | 1 June 2006 |
perrot.06.nist | ENST-IRCGN System Description | Patrick Perrot, Réda Dehak, Gérard Chollet | NIST SRE'06 Workshop: speaker recognition evaluation campaign | 30 May 2006 |
denise.06.rt | Uniform Random Sampling of Traces in Very Large Models | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet | Proceedings of the 1st international workshop on Random Testing 2006 (RT06) | 30 May 2006 |
chekroun.06.iciar | On a Polynomial Vector Field Model for Shape Representation | Mickael Chekroun, Jérôme Darbon, Igor Ciril | Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) | 28 April 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 |
darbon.06.siam | Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials | Jérôme Darbon, Marc Sigelle | SIAM Conference on Imaging Sciences | 22 February 2006 |
demaille.06.rivf | Probabilistic Verification of Sensor Networks | Akim Demaille, Sylvain Peyronnet, Thomas Hérault | Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) | 1 February 2006 |
duflot.06.book | Practical Application of Probabilistic Model Checking to Communication Protocols | Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston | FMICS Handbook on Industrial Critical Systems | 1 January 2006 |
herault.06.qest | APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains | Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet | Proceedings of Qest 2006 | 1 January 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 |
darbon.05.phd | Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images | Jérôme Darbon | 1 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 |
darbon.05.isvc | A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization | Jérôme Darbon, Sylvain Peyronnet | Proceedings of the First International Conference on Visual Computing | 20 August 2005 |
claveirole.05.ciaa | Inside Vaucanson | Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch | Proceedings of Implementation and Application of Automata10th International Conference (CIAA) | 25 May 2005 |
guirado.05.pdmc | Distribution, approximation and probabilistic model checking | Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet | Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) | 23 May 2005 |
darbon.05.ispa | Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter | Jérôme Darbon | Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) | 27 April 2005 |
darbon.05.eusipco | An efficient algorithm for attribute openings and closings | Jérôme Darbon, Ceyhun Burak Akgül | Proceedings of the 13th European Signal Processing Conference (EUSIPCO) | 14 April 2005 |
lassaigne.05.wollic | Probabilistic verification and approximation | Richard Lassaigne, Sylvain Peyronnet | Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) | 11 April 2005 |
demaille.05.iticse | Making Compiler Construction Projects Relevant to Core Curriculums | Akim Demaille | Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) | 6 February 2005 |
darbon.05.ibpria | A Fast and Exact Algorithm for Total Variation Minimization | Jérôme Darbon, Marc Sigelle | Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) | 18 January 2005 |
geraud.05.ismm | Ruminations on Tarjan's Union-Find algorithm and connected operators | Thierry Géraud | Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) | 5 January 2005 |
darbon.05.tr | A fast and exact algorithm for total variation minimization | Jérôme Darbon, Marc Sigelle | 1 January 2005 | |
vaucanson.04.techrep | Proposal: an XML representation for automata | The Vaucanson group | 1 November 2004 | |
lombardy.04.tcs | Introducing Vaucanson | Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch | Theoretical Computer Science | 1 November 2004 |
darbon.04.tr | Exact optimization of discrete constrained total variation minimization problems | Jérôme Darbon, Marc Sigelle | 1 October 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 |
yoruk.04.eusipco | Person authentication based on hand shape | Erdem Yoruk, Ender Konukoglu, Bulent Sankur, Jérôme Darbon | Proceedings of 12th European Signal Processing Conference (EUSIPCO) | 1 September 2004 |
darbon.04.iwcia | Exact optimization of discrete constrained total variation minimization problems | Jérôme Darbon, Marc Sigelle | Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) | 1 September 2004 |
geraud.04.iccvg | Fast color image segmentation based on levellings in feature Space | Thierry Géraud, Giovanni Palma, Niels Van Vliet | Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 | 11 August 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 |
grosicki.04.icc | A novel method to fight the non line of sight error in AOA measurements for mobile location | Emmanuel Grosicki, Karim Abed-Meraim, Réda Dehak | Proceedings of the IEEE International Conference on Communications (ICC) | 1 June 2004 |
maes.04.mpool | Metagene, a C++ meta-program generation tool | Francis Maes | Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) | 25 May 2004 |
lefebvre.04.tr | Unified texture management for arbitrary meshes | Sylvain Lefebvre, Jérôme Darbon, Fabrice Neyret | 26 April 2004 | |
darbon.04.ecoopphd | Generic algorithmic blocks dedicated to image processing | Jérôme Darbon, Thierry Géraud, Patrick Bellot | Proceedings of the ECOOP Workshop for PhD Students | 10 March 2004 |
duflot.04.avocs | Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC | Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stephane Messika, Sylvain Peyronnet, Claudine Picaronny | Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) | 1 January 2004 |
burrus.03.mpool | A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming | Nicolas Burrus, Alexandre Duret-Lutz, Thierry Géraud, David Lesage, Raphaël Poss | Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL) | 29 October 2003 |
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 |
maes.03.dpcool | Program templates: expression templates applied to program evaluation | Francis Maes | Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) | 31 July 2003 |
geraud.03.icisp | Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux | Thierry Géraud | Proceedings of the International Conference on Image and Signal Processing (ICISP) | 1 June 2003 |
regisgianas.03.poosc | On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson | Yann Régis-Gianas, Raphaël Poss | Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) | 26 May 2003 |
lombardy.03.ciaa | Introducing Vaucanson | Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch | Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) | 5 May 2003 |
geraud.03.grec | Document type recognition using evidence theory | Thierry Géraud, Geoffroy Fouquier, Quoc Peyrot, Nicolas Lucas, Franck Signorile | Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) | 29 April 2003 |
xue.03.icip | Multi-band segmentation using morphological clustering and fusion application to color image segmentation | Heru Xue, Thierry Géraud, Alexandre Duret-Lutz | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 10 April 2003 |
geraud.03.ibpria | Segmentation of curvilinear objects using a watershed-based curve adjacency graph | Thierry Géraud | Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) | 10 March 2003 |
geraud.03.nsip | Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF | Thierry Géraud | Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) | 31 January 2003 |
carlier.02.itrs | Polar type inference with intersection types and ω | Sébastien Carlier | Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science | 1 July 2002 |
darbon.02.ismm | Generic implementation of morphological image operators | Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz | Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) | 1 April 2002 |
geraud.01.icip | Color image segmentation based on automatic morphological clustering | Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 1 October 2001 |
verna.01.sci | Virtual reality and tele-operation: a common framework | Didier Verna | Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering | 1 July 2001 |
geraud.01.icisp | Segmentation d'images en couleur par classification morphologique non supervisée | Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon | Proceedings of the International Conference on Image and Signal Processing (ICISP) | 1 May 2001 |
duret.01.ae | Expression templates in Ada 95 | Alexandre Duret-Lutz | Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) | 1 May 2001 |
geraud.01.ai | Applying generic programming to image processing | Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz | Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications | 1 February 2001 |
angelidis.01.wscg | Visualization issues in virtual environments: from computer graphics techniques to intentional visualization | Alexis Angelidis, Geoffroy Fouquier | Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) | 1 February 2001 |
darbon.01.ei | Error correcting code performance for watermark protection | Jérôme Darbon, Bulent Sankur, Henri Maître | Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) | 1 January 2001 |
duret.01.coots | Generic design patterns in C++ | Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille | Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS) | 1 January 2001 |
fabre.00.vsmm | Urbi et Orbi: unusual design and implementation choices for distributed virtual environments | Yoann Fabre, Guillaume Pitel, Didier Verna | Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop | 1 October 2000 |
duret.00.gcse | Olena: a component-based platform for image processingmixing generic, generative and OO programming | Alexandre Duret-Lutz | Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000” | 1 October 2000 |
verna.00.vsmm | Action recognition: how intelligent virtual environments can ease human-machine interaction | Didier Verna | Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop | 1 October 2000 |
geraud.00.icpr | Obtaining genericity for image processing and pattern recognition algorithms | Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz, Dimitri Papadopoulos-Orfanos, Jean-François Mangin | Proceedings of the 15th International Conference on Pattern Recognition (ICPR) | 1 September 2000 |
geraud.00.europlop | Generic programming redesign of patterns | Thierry Géraud, Alexandre Duret-Lutz | Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP) | 1 July 2000 |
fabre.00.vw | A framework to dynamically manage distributed virtual environments | Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille | Proceedings of the 2nd International Conference on Virtual Worlds (VW) | 1 July 2000 |
fabre.00.egve | An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments | Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille | Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE) | 1 June 2000 |
geraud.00.rfia | Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues | Thierry Géraud, Isabelle Bloch, Henri Maître | Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA) | 1 February 2000 |
clouard.99.tr | Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images | Régis Clouard, Abderrahim Elmoataz, François Angot, Olivier Lezoray, Alexandre Duret-Lutz | 1 November 1999 | |
geraud.99.gretsi | Vers une réutilisabilité totale des algorithmes de traitement d'images | Thierry Géraud, Yoann Fabre, Dimitri Papadopoulos-Orfanos, Jean-François Mangin | Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI) | 1 September 1999 |
geraud.99.cimaf | Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information | Thierry Géraud, Isabelle Bloch, Henri Maître | Proceeding of CIMAF Symposium on Artificial Intelligence | 1 January 1999 |