Semantic search
Debug output SQLStore
ASK Query
[[Category:News||LrdeBulletin]] OR [[Category:Publications]] [[Published has news::true]] OR [[Category:OlenaNews]] [[Is global news::true]]
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, t0.smw_sort
FROM
`smw_object_ids` AS t0
INNER JOIN
`t1` AS t1 ON t0.smw_id=t1.id
WHERE
t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t0.smw_sort ASC
LIMIT
55
OFFSET
800
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, t0.smw_sort
FROM
`smw_object_ids` AS t0
INNER JOIN
`t1` AS t1 ON t0.smw_id=t1.id
WHERE
t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t0.smw_sort ASC
LIMIT
55
OFFSET
800
SQL Explain
ID | select_type | table | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
---|---|---|---|---|---|---|---|---|---|---|
1 | SIMPLE | t0 | range | PRIMARY, smw_id, smw_iw, smw_iw_2 | smw_iw | 34 | 3579 | Using index condition; Using temporary; Using filesort | ||
1 | SIMPLE | t1 | eq_ref | PRIMARY | PRIMARY | 4 | www_public.t0.smw_id | 1 | Distinct |
Auxilliary Tables
- Temporary table t1
INSERT IGNORE INTO `t1` SELECT DISTINCT t2.s_id FROM `smw_fpt_inst` AS t2 WHERE (t2.o_id=5406 OR t2.o_id=1431)
INSERT IGNORE INTO `t1` SELECT DISTINCT t5.s_id FROM `smw_fpt_inst` AS t5 INNER JOIN `smw_di_bool` AS t7 ON t5.s_id=t7.s_id WHERE t5.o_id=5352 AND ((t7.o_value=1) AND t7.p_id=5224)
INSERT IGNORE INTO `t1` SELECT DISTINCT t10.s_id FROM `smw_fpt_inst` AS t10 INNER JOIN `smw_di_bool` AS t12 ON t10.s_id=t12.s_id WHERE t10.o_id=1330 AND ((t12.o_value=1) AND t12.p_id=1328)
Query Metrics
Query-Size:7Query-Depth:1
Errors and Warnings
None- Publication Trie-based Output Itemset Sampling in 2022 IEEE International Conference on Big Data (Big Data) — 12 December 2022
- Publication Tuning SAT Solvers for LTL Model Checking in Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) — 9 December 2022
- Publication Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival in International MICCAI Brainlesion Workshop — 3 September 2020
- Publication Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
- Two new online demos related to the Scribo project — 22 June 2010
Parts of the work done in Scribo can be tested online: a multi-scale binarization based on Sauvola's algorithm and a text detector in natural pictures.
- Publication Type-Checking of Heterogeneous Sequences in Common Lisp in European Lisp Symposium — 25 March 2016
- Publication Un algorithme de complexité linéaire pour le calcul de l'arbre des formes in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) — 4 May 2018
- Publication Une approche générique du logiciel pour le traitement d'images préservant les performances in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) — 13 May 2011
- Publication Une approche morphologique de segmentation interactive avec l'arbre des formes couleur in Actes du 15e Colloque GRETSI — 16 June 2015
- Publication Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images — 1 November 1999
- Publication Unified texture management for arbitrary meshes — 26 April 2004
- Publication Uniform Random Sampling of Traces in Very Large Models in Proceedings of the 1st international workshop on Random Testing 2006 (RT06) — 30 May 2006
- Publication Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach in IEEE Transactions on Audio, Speech, and Language Processing — 7 June 2013
- Publication Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification in Odyssey The Speaker and Language Recognition — 1 January 2010
- Publication Urbi et Orbi: unusual design and implementation choices for distributed virtual environments in Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop — 1 October 2000
- Publication Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 — 1 June 2020
- Publication Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection in Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) — 1 August 2015
- Publication Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions in IEEE Transactions on Affective Computing — 24 July 2022
- Vampire 0.2 is released — 19 February 2004
Vampire is a remote package testing tool written
- Publication Variations on Parallel Explicit Model Checking for Generalized Büchi Automata in International Journal on Software Tools for Technology Transfer (STTT) — 26 October 2015
- Vaucanson 0.2 is released — 2 July 2003
- Vaucanson 0.3 is released — 11 July 2003
- Vaucanson 0.4 is released — 29 October 2003
- Vaucanson 0.4.2 is released — 25 December 2003
- Vaucanson 0.5 is released — 31 March 2004
With the Vaucanson Day comes a new release
- VaucansonDay, Vaucanson 0.5 tutorial day — 31 March 2004
The second Vaucanson Day is held at EPITA,
- Vaucanson 0.6 is released — 18 July 2004
This new release comes with an improved XML I/O system and more
- Vaucanson 0.6.1 is released — 26 October 2004
In addition to the usual bug fixes, this release brings full support of G++ 3.
- Vaucanson 0.7 is released — 17 May 2005
This new release comes with a full support of transducers over a free monoid product and some new algorithms dedicated to transducers. Also, a new XML system has been implemented, introducing the latest updates of the Vaucanson group's format proposal.
- Vaucanson 0.7.1 is released — 25 June 2005
This new release comes with a set of bug fixes in some algorithms on automata and transducers, some new useful algorithms on automata and transducers on direct product of free monoid, and a reorganization of demos. Also, the latest XML proposal was included. The Vaucanson platform will be presented at the CIAA conference, June 27-29 2005.
- Vaucanson 0.7.2 is released — 9 November 2005
This new release comes with the usual set of bug fixes (in the XML system and in demos for most of them), and is mainly motivated by the new compliance of Vaucanson with the latest GNU C++ Compiler (version 4.0) and the latest Intel C++ Compiler (version 9).
- Vaucanson 0.8.0 is released — 15 June 2006
This new release comes with the usual set of bug fixes, renamings and cleanup, and with the advant of a new command-line interface: TAF-Kit.
- Vaucanson 1.0 is released — 28 July 2006
The Vaucanson team is proud to announce this release, which includes significant improvements of the library, and TAF-Kit support for Boolean Automata, Z-Automata, and Transducers.
- Vaucanson 1.0a is released — 13 June 2007
The Vaucanson Team is proud to announce the release of Vaucanson 1.0a. This is an intermediate release which mainly includes bug fixes and various optimizations.
- Vaucanson 1.1 is released — 30 July 2007
The Vaucanson Team is proud to announce the release of Vaucanson 1.1. This release mainly includes bug fixes, various optimizations (I/O and algorithms) and TAF-Kit improvements.
- Vaucanson 1.1.1 is released — 14 December 2007
The Vaucanson Team is proud to announce the release of Vaucanson 1.1.1. This release contains mostly bug fixes.
- Vaucanson 1.2 is released — 19 March 2008
- Vaucanson 1.3 is released — 26 May 2009
- Vaucanson 1.3.1 is released — 8 July 2009
- Vaucanson 1.3.2 is released — 22 September 2009
Vaucanson is a platform for manipulating weighted finite state
- Vaucanson 1.4 is released — 28 September 2011
Vaucanson is a platform for manipulating weighted finite state
- Vaucanson 1.4.1 is released — 14 July 2012
- Thomas Claveirole presents Vaucanson XML representation for automata to CIAA 2004 — 24 July 2004
Thomas Claveirole, an LRDE student, will make a
- Vaucanson Day: presentation and demonstration of the Vaucanson project — 21 February 2003
- Vcs 0.4 is released — 3 October 2005
Vcs is a wrapper over any Version Control Systems.
- Publication Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) — 17 May 2021
- Publication VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images in Medical Image Analysis — 22 July 2021
- Publication Vers une réutilisabilité totale des algorithmes de traitement d'images in Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI) — 1 September 1999
- Publication Virtual reality and tele-operation: a common framework in Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering — 1 July 2001
- Publication Visualization issues in virtual environments: from computer graphics techniques to intentional visualization in Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) — 1 February 2001