Semantic search
Debug output SQLStore
ASK Query
[[Category:Publications]] [[Publication type::inproceedings]]
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, t7.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
(`smw_fpt_inst` AS t2
INNER JOIN
`smw_di_blob` AS t4 ON t2.s_id=t4.s_id) ON t0.smw_id=t2.s_id
INNER JOIN
`smw_di_time` AS t7 ON t0.smw_id=t7.s_id
WHERE
(t2.o_id=5352
AND (
(t4.o_hash='inproceedings') AND t4.p_id=5218)
)
AND (t7.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t7.o_sortkey DESC
LIMIT
55
OFFSET
100
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, t7.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
(`smw_fpt_inst` AS t2
INNER JOIN
`smw_di_blob` AS t4 ON t2.s_id=t4.s_id) ON t0.smw_id=t2.s_id
INNER JOIN
`smw_di_time` AS t7 ON t0.smw_id=t7.s_id
WHERE
(t2.o_id=5352
AND (
(t4.o_hash='inproceedings') AND t4.p_id=5218)
)
AND (t7.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t7.o_sortkey DESC
LIMIT
55
OFFSET
100
SQL Explain
ID | select_type | table | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
---|---|---|---|---|---|---|---|---|---|---|
1 | SIMPLE | t2 | 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 | t4 | ref | s_id, s_id_2, o_hash, p_id | s_id_2 | 262 | www_public.t2.s_id, const | 1 | Using index condition; Using where | |
1 | SIMPLE | t0 | eq_ref | PRIMARY, smw_id, smw_iw, smw_iw_2 | PRIMARY | 4 | www_public.t2.s_id | 1 | Using where | |
1 | SIMPLE | t7 | ref | s_id, p_id, p_id_2, s_id_2 | s_id_2 | 8 | www_public.t2.s_id, const | 1 | Using index |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:3Query-Depth:1
Errors and Warnings
NoneTitle | Authors | Published in | Date | |
---|---|---|---|---|
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 |
newton.18.els | Approaches in Typecase Optimization | Jim Newton, Didier Verna | European Lisp Symposium | 5 April 2018 |
verna.18.els | Method Combinators | Didier Verna | 11th European Lisp Symposium | 25 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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.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 |
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 |
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 |
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.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 |
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 |
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 |
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 |
newton.16.els | Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton, Akim Demaille, Didier Verna | European Lisp Symposium | 25 March 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 |
baarir.15.lpar | SAT-based Minimization of Deterministic ω-Automata | Souheib Baarir, Alexandre Duret-Lutz | Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) | 1 September 2015 |
calarasanu.15.icdar | Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection | Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson | Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) | 1 August 2015 |
carlinet.15.ipta | Morphological Object Picking Based on the Color Tree of Shapes | Edwin Carlinet, Thierry Géraud | Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) | 29 June 2015 |
carlinet.15.gretsi | Une approche morphologique de segmentation interactive avec l'arbre des formes couleur | Edwin Carlinet, Thierry Géraud | Actes du 15e Colloque GRETSI | 16 June 2015 |
michaud.15.spin | Practical Stutter-Invariance Checks for ω-Regular Languages | Thibaud Michaud, Alexandre Duret-Lutz | Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) | 15 June 2015 |
blahoudek.15.spin | On Refinement of Büchi Automata for Explicit Model Checking | František Blahoudek, Alexandre Duret-Lutz, Vojtčech Rujbr, Jan Strejček | Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) | 15 June 2015 |
bensalem.15.forte | Extending Testing Automata to All LTL | Ala Eddine Ben Salem | Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) | 19 May 2015 |
bensalem.15.acsd | Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata | Ala Eddine Ben Salem, Mohamed Graiet | Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) | 19 May 2015 |
boutry.15.icip | How to Make nD Images Well-Composed Without Interpolation | Nicolas Boutry, Thierry Géraud, Laurent Najman | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 14 May 2015 |
babiak.15.cav | The Hanoi Omega-Automata Format | Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček | Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) | 27 April 2015 |