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
105
OFFSET
120
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
105
OFFSET
120
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 | |
---|---|---|---|---|
baier.19.atva | Generic Emptiness Check for Fun and Profit | Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček | Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) | 29 July 2019 |
le-frioux.19.phd | Towards more efficient parallel SAT solving | Ludovic Le Frioux | 3 July 2019 | |
tochon.19.pr | Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images | Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot | Pattern Recognition | 1 July 2019 |
boutry.19.dgci | One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez | Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) | 18 June 2019 |
carlinet.19.gretsi | Filtres connexes multivariés par fusion d'arbres de composantes | Edwin Carlinet, Thierry Géraud | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
esteban.19.gretsi | Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques | Baptiste Esteban, Guillaume Tochon, Thierry Géraud | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
esteban.19.caip | Estimating the noise level function with the tree of shapes and non-parametric statistics | Baptiste Esteban, Guillaume Tochon, Thierry Géraud | Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) | 7 June 2019 |
wang.19.tmi | Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge | Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen | IEEE Transactions on Medical Imaging | 11 April 2019 |
kuijf.19.tmi | Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge | H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu | IEEE Transactions on Medical Imaging | 10 April 2019 |
valais.19.els | Implementing Baker's SUBTYPEP decision procedure | Léo Valais, Jim Newton, Didier Verna | 12th European Lisp Symposium | 1 April 2019 |
bloemen.19.sttt | Model checking with generalized Rabin and Fin-less automata | Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol | International Journal on Software Tools for Technology Transfer | 1 April 2019 |
verna.19.els | Parallelizing Quickref | Didier Verna | 12th European Lisp Symposium | 1 April 2019 |
puybareau.19.ismm | Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy | Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
boutry.19.ismm | An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D | Nicolas Boutry, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
tochon.19.ismm | Constructing a braid of partitions from hierarchies of partitions | Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
carlinet.19.ismm | Introducing Multivariate Connected Openings and Closings | Edwin Carlinet, Thierry Géraud | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
le-frioux.19.tacas | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) | 13 February 2019 |
boutry.19.jmiv | How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way | Nicolas Boutry, Thierry Géraud, Laurent Najman | Journal of Mathematical Imaging and Vision | 4 February 2019 |
puybareau.19.cbm | High Throughput Automated Detection of Axial Malformations in Medaka Embryo | Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot | Computers in Biology and Medicine | 22 January 2019 |
newton.19.els | Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton, Didier Verna | European Lisp Symposium | 14 January 2019 |
rivet.19.isbi | Motion Compensation in Digital Holography for Retinal Imaging | Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques | Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) | 19 December 2018 |
huynh.18.phd | Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. | Lê Duy Huỳnh | 1 December 2018 | |
carlinet.19.csi | Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach | Edwin Carlinet, Thierry Géraud | Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) | 26 November 2018 |
puybareau.18.brainles | Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure | Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio | Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI | 5 November 2018 |
newton.18.phd | Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | 1 November 2018 | |
rivet.19.spie | Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina | Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan | Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V | 25 October 2018 |
roynard.18.rrpr | An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming | Michaël Roynard, Edwin Carlinet, Thierry Géraud | Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) | 25 October 2018 |
puybareau.18.stacom | Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte | Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI | 25 October 2018 |
movn.19.icdarw | Document detection in videos captured by smartphones using a saliency-based method | Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud | International Conference on Document Analysis and Recognition Workshops (ICDARW) | 20 September 2018 |
newton.18.meta | Recognizing Heterogeneous Sequences by Rational Type Expression | Jim Newton, Didier Verna | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
newton.18.tocl | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton, Didier Verna | ACM Transactions on Computational Logic | 28 August 2018 |
boutry.18.is | Weakly Well-Composed Cell Complexes over nD Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez | Information Sciences | 4 July 2018 |
renault.18.vecos | Improving Parallel State-Space Exploration Using Genetic Algorithms | Etienne Renault | Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) | 14 June 2018 |
michaud.18.synt | Reactive Synthesis from LTL Specification with Spot | Thibaud Michaud, Maximilien Colange | Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 | 7 June 2018 |
boldo.18.arith | A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | Sylvie Boldo, Florian Faissole, TourneurVincent | 25th IEEE Symposium on Computer Arithmetic | 1 June 2018 |
puybareau.18.icip | Real-Time Document Detection in Smartphone Videos | Élodie Puybareau, Thierry Géraud | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |
carlinet.18.icip | The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm | Edwin Carlinet, Thierry Géraud, Sébastien Crozet | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |
carlinet.18.rfiap | Un algorithme de complexité linéaire pour le calcul de l'arbre des formes | Edwin Carlinet, Sébastien Crozet, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) | 4 May 2018 |
puybareau.18.rfiap | Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage | Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” | 4 May 2018 |
barnat.18.hpcr | Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
newton.18.els | Approaches in Typecase Optimization | Jim Newton, Didier Verna | European Lisp Symposium | 5 April 2018 |
goetz.18.tpds | Parallel Computation of Component Trees on Distributed Memory Machines | Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel | IEEE Transactions on Parallel and Distributed Systems | 2 April 2018 |
verna.18.els | Method Combinators | Didier Verna | 11th European Lisp Symposium | 25 March 2018 |
xu.18.media | The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities | Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud | Medical Image Analysis | 22 March 2018 |
xu.18.brainles | White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers | 6 February 2018 |
verna.18.programming | Lisp, Jazz, Aikido | Didier Verna | The Art, Science and Engineering of Programming Journal | 5 February 2018 |
dangla.18.das | A first step toward a fair comparison of evaluation protocols for text detection algorithms | Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio | Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) | 2 February 2018 |
movn.18.das | Saliency-Based Detection of Identity Documents Captured by Smartphones | Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud | Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) | 2 February 2018 |
metin.18.tacas | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving | Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon | Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) | 5 January 2018 |
demaille.17.sacs | Derived-Term Automata of Multitape Expressions with Composition | Akim Demaille | Scientific Annals of Computer Science | 29 December 2017 |
tochon.17.chapter | Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis | Guillaume Tochon, Mauro Dalla Mura, Philippe Salembier, Jocelyn Chanussot, Miguel-Angel Veganzones, Silvia Valero | Comprehensive Remote Sensing, 1st Edition | 8 November 2017 |
drapeau.17.grec | Extraction of Ancient Map Contents Using Trees of Connected Components | Jordan Drapeau, Thierry Géraud, Mickaël Coustaty, Joseph Chazalon, Jean-Christophe Burie, Véronique Eglin, Stéphane Bres | Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC) | 20 October 2017 |
boutry.17.jmiv | A Tutorial on Well-Composedness | Nicolas Boutry, Thierry Géraud, Laurent Najman | Journal of Mathematical Imaging and Vision | 12 October 2017 |
chazalon.17.icdar-ost | SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode | J Chazalon, P Gomez-Krämer, J -C Burie, M Coustaty, S Eskenazi, M Luqman, N Nayef, M Rusiñol, N Sidère, J M Ogier. | Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST) | 21 July 2017 |
demaille.17.ictac | Derived-Term Automata of Weighted Rational Expressions with Quotient Operators | Akim Demaille, Thibaud Michaud | Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) | 5 July 2017 |
royer.17.icdar | Benchmarking Keypoint Filtering Approaches for Document Image Matching | E Royer, J Chazalon, M Rusiñol, F Bouchara | Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) | 4 July 2017 |
jacobs.17.synt | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results | Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, FaymonvillePeter, Bernd Finkbeiner, Ayrat Khalimov, KleinFelix, Thibaud Michaud, Guillermo A Pérez, Jean-François Raskin, Ocan Sankur, TentrupLeander | Proceedings Sixth Workshop on Synthesis | 1 July 2017 |
le-frioux.17.sat | PaInleSS: a Framework for Parallel SAT Solving | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) | 30 June 2017 |
rusinol.17.mtap | Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness | Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito | Multimedia Tools and Applications | 29 June 2017 |
puybareau.17.gretsi | Caractérisation des zones de mouvement périodiques pour applications bio-médicales | Élodie Puybareau, Hugues Talbot, Laurent Najman | Actes du 26e Colloque GRETSI | 28 June 2017 |
xu.17.gretsi | Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage | Yongchao Xu, Thierry Géraud, Isabelle Bloch | Actes du 26e Colloque GRETSI | 20 June 2017 |
xu.17.icip | From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning | Yongchao Xu, Thierry Géraud, Isabelle Bloch | Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) | 12 June 2017 |
menouer.17.iccs | Parallel Learning Portfolio-Based Solvers | Tarek Menouer, Souheib Baarir | Proceedings of the International Conference on Computational Science (ICCS) | 1 June 2017 |
boutry.17.dgci | Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n | Nicolas Boutry, Laurent Najman, Thierry Géraud | Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) | 1 June 2017 |
bloemen.17.spin | Explicit State Model Checking with Generalized Büchi and Rabin Automata | Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol | Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) | 22 May 2017 |
tochon.17.tgrs | Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking | Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi | IEEE Transactions on Geoscience and Remote Sensing | 20 April 2017 |
blahoudek.17.lpar | Seminator: A Tool for Semi-Determinization of Omega-Automata | František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17) | 3 April 2017 |
carlinet.17.orasis | La pseudo-distance du dahu | Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Géraud | Actes d'ORASIS | 21 March 2017 |
menouer.17.pdp | Parallel Satisfiability Solver Based on Hybrid Partitioning Method | Tarek Menouer, Souheib Baarir | Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) | 1 March 2017 |
geraud.17.ismm | Introducing the Dahu Pseudo-Distance | Thierry Géraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |
huynh.17.ismm | Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings | Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |
puybareau.17.ismm | Morphological Analysis of Brownian Motion for Physical Measurements | Élodie Puybareau, Hugues Talbot, Noha Gaber, Tarik Bourouina | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |
puybareau.17.isbi | Periodic Area-of-Motion characterization for Bio-Medical applications | Élodie Puybareau, Hugues Talbot, Laurent Najman | Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) | 20 February 2017 |
newton.17.els | Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton, Didier Verna, Maximilien Colange | European Lisp Symposium | 6 February 2017 |
newton.17.dtd.report | Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set | Jim Newton | 2 February 2017 | |
duret.17.hdr | Contributions to LTL and ω-Automata for Model Checking | Alexandre Duret-Lutz | 1 February 2017 | |
dehak.16.nistsre | The MIT Lincoln Laboratory 2016 Speaker Recognition System | Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo | NIST Speaker Recognition Evaluation 2016 | 12 December 2016 |
boutry.16.phd | A Study of Well-Composedness in n-D | Nicolas Boutry | 1 December 2016 | |
drumetz.17.lva-ica | Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity | Lucas Drumetz, Guillaume Tochon, Jocelyn Chanussot, Christian Jutten | Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) | 22 November 2016 |
newton.16.monad.report | Monads in Common Lisp | Jim Newton | 18 November 2016 | |
newton.16.dag.report | Finding Maximal Common Joins in a DAG | Jim Newton | 17 November 2016 | |
calarasanu.16.iwrr | From text detection to text segmentation: a unified evaluation scheme | Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson | Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) | 1 October 2016 |
huynh.16.icpr | Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images | Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud | Proceedings of the 23st International Conference on Pattern Recognition (ICPR) | 13 July 2016 |
demaille.16.ictac | Derived-term Automata for Extended Weighted Rational Expressions | Akim Demaille | Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) | 6 July 2016 |
duret.16.atva | Heuristics for Checking Liveness Properties with Partial Order Reductions | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |
duret.16.atva2 | Spot 2.0 — a framework for LTL and ω-automata manipulation | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |
morel.16.embc | A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI | Baptiste Morel, Yongchao Xu, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch | Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society | 20 May 2016 |
xu.16.prl | Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection | Yongchao Xu, Thierry Géraud, Laurent Najman | Pattern Recognition Letters | 20 May 2016 |
demaille.16.ciaa | Derived-Term Automata of Multitape Rational Expressions | Akim Demaille | Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) | 26 April 2016 |
cavallaro.16.igarss | Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes | Gabriele Cavallaro, Mauro Dalla Mura, Edwin Carlinet, Thierry Géraud, Nicola Falco, Jón Atli Benediktsson | Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) | 12 April 2016 |
xu.16.pami | Hierarchical Segmentation Using Tree-Based Shape Spaces | Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman | IEEE Transactions on Pattern Analysis and Machine Intelligence | 11 April 2016 |
fabrizio.16.ijdar | TextCatcher: A method to detect curved and challenging text in natural scenes | Jonathan Fabrizio, Myriam Robert-Seidowsky, Séverine Dubuisson, Stefania Calarasanu, Raphaël Boissel | International Journal on Document Analysis and Recognition | 8 April 2016 |
newton.16.els | Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton, Akim Demaille, Didier Verna | European Lisp Symposium | 25 March 2016 |
newton.16.rte.report | Efficient Dynamic Type Checking of Heterogeneous Sequences | Jim Newton | 22 February 2016 | |
calarasanu.16.visapp | Towards the rectification of highly distorted texts | Stefania Calarasanu, Séverine Dubuisson, Jonathan Fabrizio | Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) | 1 February 2016 |
calarasanu.16.ivc | What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions | Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson | Image and Vision Computing | 1 February 2016 |
calarasanu.15.phd | Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | Stefania Calarasanu | 1 December 2015 | |
carlinet.15.phd | A Tree of Shapes for Multivariate Images | Edwin Carlinet | 1 November 2015 | |
carlinet.15.itip | MToS: A Tree of Shapes for Multivariate Images | Edwin Carlinet, Thierry Géraud | IEEE Transactions on Image Processing | 26 October 2015 |
renault.16.sttt | Variations on Parallel Explicit Model Checking for Generalized Büchi Automata | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud | International Journal on Software Tools for Technology Transfer (STTT) | 26 October 2015 |