Semantic search
Debug output SQLStore
ASK Query
[[Category:CSIReports]]
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_hash
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_blob` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=1816)
AND (t4.p_id=1948)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_hash DESC
LIMIT
505
OFFSET
20
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_hash
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_blob` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=1816)
AND (t4.p_id=1948)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_hash DESC
LIMIT
505
OFFSET
20
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 | 256 | 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, s_id_2, p_id | s_id | 8 | www_public.t1.s_id, const | 1 |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:1Query-Depth:0
Errors and Warnings
NoneTitle | Authors | Year | |
---|---|---|---|
kirszenberg.20.seminar | Learning Morphological Operations | Alexandre Kirszenberg | 2020 |
esteban.20.seminar | Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics | Baptiste Esteban | 2020 |
valais.20.seminar | Implementing Baker's SUBTYPEP decision procedure | Leo Valais | 2020 |
ginane.19.seminar | Detecting danger in marine environnement | Charles Ginane | 2019 |
huvelle.19.seminar | Reimplementation of testing-automata in Spot | Martin Huvelle | 2019 |
valais.19.seminar | Implementing Baker's SUBTYPEP decision procedure | Leo Valais | 2019 |
gossec.19.seminar | Binding a high-performance C++ image processing library to Python | Celian Gossec | 2019 |
buatois.19.seminar | Brain Tumor Segmentation with deep convolutional network approach | Thibault Buatois | 2019 |
linsenmaier.19.seminar | Automatic troll farm account detection on Twitter | Hugo Linsenmaier | 2019 |
guenezan.19.seminar | Distributed State Space Exploration | Paul Guénézan | 2019 |
hacquard.19.seminar | Parallelism and Indexation in Quickref | Antoine Hacquard | 2019 |
remaud.19.seminar | State compression in Spot | Arthur Remaud | 2019 |
khoudli.19.seminar | Mathematical morphology and deep convolutional neural networks | Younes Khoudli | 2019 |
kirszenberg.19.seminar | Integrating Mathematical Morphology within Deep Convolutional Neural Networks | Alexandre Kirszenberg | 2019 |
carvalho.19.seminar | Artificial states generation in state spaces using kernel density estimation | Thomas De Carvalho | 2019 |
tourneur.19.seminar | Benchmarking of Partial Order Reduction in Spot | Vincent Tourneur | 2019 |
martin.19.seminar | Exploring various implementations for goroutines support in go2pins | Antoine Martin | 2019 |
esteban.19.seminar | Estimation of the noise level function in natural images using the tree of shapes | Baptiste Esteban | 2019 |
gillard.19.seminar | Counterexample searches in Spot | Clément Gillard | 2019 |
sainson.19.seminar | Modelling and Identifying Troll Farm Accounts on Twitter | Antoine Sainson | 2019 |
dangla.18.seminar | Integration of histograms in the NL-Mean algorithm for image denoising. | Aliona Dangla | 2018 |
tourneur.18.seminar | Implementation of Invisible and Transparent Transitions in Spot | Vincent Tourneur | 2018 |
gillard.18.seminar | Two-automaton accepting run search in Spot | Clément Gillard | 2018 |
valais.18.seminar | SUBTYPEP: An Implementation of Baker's Algorithm | Leo Valais | 2018 |
remaud.18.seminar | Creation of an antichain library | Arthur Remaud | 2018 |
khoudli.18.seminar | Automatic Heart Segmentation | Younes Khoudli | 2018 |
gbaguidiaisse.18.seminar | Deciding Persistence or Recurrence Membership in Spot | Alexandre Gbaguidi Aïsse | 2018 |
hirtz.18.seminar | Optimization of an image processing library | Virgile Hirtz | 2018 |
xu.18.seminar | Efficient Translation of Fairness LTL Formulae into Deterministic Automata | Laurent XU | 2018 |
kirszenberg.18.seminar | go2pins: A model checking toolset for the Go programming language | Alexandre Kirszenberg | 2018 |
houang.17.seminar | Binary Partition Tree for Image Processing | Fabien Houang | 2017 |
michaud.17.seminar | LTL Synthesis with Spot | Thibaud Michaud | 2017 |
tourneur.17.seminar | Partial order reduction in SPOT | Vincent Tourneur | 2017 |
xu.17.seminar | Improvements of Simulation-based Reduction | Laurent Xu | 2017 |
piat.17.seminar | K shortest-paths in Vcsn | Sébastien Piat | 2017 |
remaud.17.seminar | Integration of TChecker in Spot | Arthur Remaud | 2017 |
collette.17.seminar | Morse-Smale Complex computation with Watershed Cut | Victor Collette | 2017 |
iovene.17.seminar | Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition | Valentin Iovene | 2017 |
dangla.17.seminar | Evaluation method of text detection algorithm rating | Aliona Dangla | 2017 |
berthet.17.seminar | Automatic detection of text zones on identity documents. | Anne-Claire Berthet | 2017 |
gillard.17.seminar | Two-automaton emptiness check in Spot | Clément Gillard | 2017 |
gbaguidiaisse.17.seminar | A co-Büching Toolbox | Alexandre Gbaguidi Aïsse | 2017 |
piat.16.seminar2 | K shortest-paths in Vcsn | Sébastien Piat | 2016 |
pietri.16.seminar | Random automata and path generation in Vcsn | Antoine Pietri | 2016 |
xu.16.seminar | Product of Parity Automata | Laurent Xu | 2016 |
iovene.16.seminar | Domain Mismatch Compensation for Text-Independant Speaker Recognition | Valentin Iovene | 2016 |
deutsch.16.seminar | Supervised Discrimination of Characters on Images | Thibault Deutsch | 2016 |
tolmer.16.seminar | Efficient Transducer Composition in Vcsn | Valentin Tolmer | 2016 |
michaud.16.seminar | Quotient of weighted automata and rational series | Thibaud Michaud | 2016 |
fauchille.16.seminar | Alternating automata support | Amaury Fauchille | 2016 |
lewkowicz.16.seminar | Improving the determinization of Büchi automata | Alexandre Lewkowicz | 2016 |
boillod.16.seminar | Random rational expression generation | Lucien Boillod | 2016 |
berthet.16.seminar | Automatic segmentation of Cassini's maps | Anne-Claire Berthet | 2016 |
riols.16.seminar | Speaker Diarization based on the Mel Frequency Cepstral Coefficients | Fanny Riols | 2016 |
billion.16.seminar | Contribution to dyn:: | Raoul Billion | 2016 |
moreau.16.seminar | Metric Learning using a Siamese Deep Neural Network | Anatole Moreau | 2016 |
piat.16.seminar | Vcsn Meets Linguistics | Sébastien Piat | 2016 |
daval-frerot.16.seminar | Bottleneck neural networks for Speaker Recognition | Guillaume Daval-Frerot | 2016 |
batten.15.seminar | Using the Mumford-Shah segmentation for Text Detection in images | James Batten | 2015 |
seure.15.seminar | Improving OCR k-NN classifier's training set | Anthony Seure | 2015 |
lewkowicz.15.seminar | An efficient implementation of transition-based generalized Büchi automaton determinization | Alexandre Lewkowicz | 2015 |
dore.15.seminar | Adaptation of the watershed cuts algorithm to cellular complexes | Guillaume Doré | 2015 |
bounthong.15.seminar | Speaker specific i-vector channel compensation in speaker recognition | Jean-Luc Bounthong | 2015 |
parquier.15.seminar | Strength-based decomposition of Büchi automaton | Claire Parquier | 2015 |
yeh.15.seminar | Local channel compensated method in Speaker Recognition System | Jimmy Yeh | 2015 |
pietri.15.seminar | Efficient removal of spontaneous transitions in Vcsn | Antoine Pietri | 2015 |
groux.15.seminar | IVector space mapping with Deep Neural Network | Louis Groux | 2015 |
barray.15.seminar | New ways to use the Vcsn's Jupyter interface. | Nicolas Barray | 2015 |
berthet.15.seminar | Image processing for plots detection from ancient maps | Anne-Claire Berthet | 2015 |
tolmer.15.seminar | Algorithms on Transducers | Valentin Tolmer | 2015 |
riols.15.seminar | Speaker Diarization based on Independent Component Analysis | Fanny Riols | 2015 |
iovene.15.seminar | I-Vectors distance learning with Convolutional Neural Networks | Valentin Iovene | 2015 |
tolmer.14.seminar | Transducer composition in Vaucanson 2 | Valentin Tolmer | 2014 |
lewkowicz.14.seminar | A Feedback Arc Set for Spot | Alexandre Lewkowicz | 2014 |
seure.14.seminar | Logotypes detection and other characteristics invariants using SIFT descriptors | Anthony Seure | 2014 |
pietri.14.seminar | Finding Short Synchronizing Words | Antoine Pietri | 2014 |
riols.14.seminar | Markov Clustering Algorithm for Unsupervised Speaker Recognition System | Fanny Riols | 2014 |
levi.13.seminar | Variational image inpainting by combination of features | Coddy Levi | 2013 |
ripault.13.seminar | Context-oriented programming applied to image processing | François Ripault | 2013 |
seure.13.seminar | Logotypes detection and other characteristic invariants | Anthony Seure | 2013 |
escobar.13.seminar | High-level Document Structure Analysis in the Olena Scribo Module | Christophe Escobar | 2013 |
moreira.13.seminar | FSMXML for Vaucanson 2.0 | David Moreira | 2013 |
ripault.13.seminar2 | On coercion in Context-Oriented Programming | François Ripault | 2013 |
vermorel.13.seminar | Automatic maintenance of exported symbols in Common Lisp packages | Christophe Vermorel | 2013 |
badie.13.seminar | Simulation-based Reductions for TGBA | Thomas Badie | 2013 |
boissel.13.seminar | Reduce the resource consumption of a complex image processing chain | Raphael Boissel | 2013 |
crozet.13.seminar | About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. | Sébastien Crozet | 2013 |
sanchez.13.seminar | Improving Vaucanson's design | Guillaume Sanchez | 2013 |
roux.13.seminar | Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. | Benjamin Roux | 2013 |
boissel.13.seminar2 | Using a wavelet-based descriptor to extract information on object shape | Raphaël Boissel | 2013 |
yeh.13.seminar | I-Vector Multilayer Perceptron in Speaker Recognition System | Jimmy Yeh | 2013 |
crozet.13.seminar2 | The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. | Sébastien Crozet | 2013 |
parutto.13.seminar | Adaptive partial order reduction methods | Pierre Parutto | 2013 |
santet.13.seminar | Transducers in Vaucanson 2 | Victor Marie-Santet | 2013 |
roux.13.seminar2 | SVM decision taking in I-Vector based Speaker Verification Systems | Benjamin Roux | 2013 |
bounthong.13.seminar | Boltzmann Machine in speaker verification | Jean-Luc Bounthong | 2013 |
senta.13.seminar | Parallel Climb | Laurent Senta | 2013 |
moreira.12.seminar | Towards Vaucanson 2.0 | David Moreira | 2012 |
badie.12.seminar | Direct-Simulation Reduction for TGBA | Thomas Badie | 2012 |
chedeau.12.seminar | Property based dispatch in functional languages | Christopher Chedeau | 2012 |
abecassis.12.seminar | Parallelization in a generic image processing library | Felix Abecassis | 2012 |
boissel.12.seminar | Text extraction method based on wavelets | Raphael Boissel | 2012 |
crozet.12.seminar | Parallel approach for the computation of the tree of shapes on n-dimensional images | Sébastien Crozet | 2012 |
roux.12.seminar | Full Covariance Matrices based Gaussian Mixture Models | Benjamin Roux | 2012 |
lobry.12.seminar | Improving Horn-Schunck | Sylvain Lobry | 2012 |
parutto.12.seminar | Partial order reduction methods for Spot | Pierre Parutto | 2012 |
marquegnies.12.seminar | A comparative study of image invariants for text / non-text classification | Julien Marquegnies | 2012 |
senta.12.seminar | Building an interface for and with Climb | Laurent Senta | 2012 |
lobry.13.seminar | Computing the optical flow in sequences with missing parts | Sylvain Lobry | 2012 |
levi.12.seminar | Fast structure preserving inpainting | Coddy Levi | 2012 |
ripault.12.seminar | Optimization in Common Lisp, and its application to Climb | François Ripault | 2012 |
badie.11.seminar | Bisimulation-based Reductions on TGBA | Thomas Badie | 2011 |
chedeau.11.seminar | Component Trees and Chaining Operators in Climb | Christopher Chedeau | 2011 |
abecassis.11.seminar | Optimizations in the Tiger Compiler | Felix Abecassis | 2011 |
guillot.11.seminar | Writing generic image processing algorithms | Simon Guillot | 2011 |
lenoir.11.seminar | Voice Activity Detection | Victor Lenoir | 2011 |
lobry.11.seminar | Scribo: Disambiguation of lines superimposement | Sylvain Lobry | 2011 |
parutto.11.seminar | Improving degeneralization in Spot | Pierre Parutto | 2011 |
fiette.11.seminar | Progresses towards Vaucanson 1.4 and 2.0 | Guillaume Fiette | 2011 |
lenoir.12.seminar | Speaker Diarization | Victor Lenoir | 2011 |
marquegnies.11.seminar | Document layout analysis in SCRIBO | Julien Marquegnies | 2011 |
senta.11.seminar | Climb: Weighted Neighborhood Implementation | Laurent Senta | 2011 |
levi.11.seminar | Inverse Video extraction in Scribo | Coddy Levi | 2011 |
denuziere.11.seminar | Designing the user interface for a Common Lisp generic library | Loïc Denuzière | 2011 |
moreira.11.seminar | Implementing rational semiring | David Moreira | 2011 |
ordy.10.seminar | Study and Analysis of C++ Extension Conception with Transformers | Vincent Ordy | 2010 |
carlinet.10.seminar | An edge-based attribute filter dedicated to image segmentation | Edwin Carlinet | 2010 |
marquegnies.10.seminar | Dematerialization Tools in SCRIBO | Julien Marquegnies | 2010 |
d-halluin.10.seminar | Adapting Vaucanson algorithms to a simpler interface | Florent D'Halluin | 2010 |
galtier.10.seminar | Adapting the data structures of Vaucanson to the concept of kind and a new interface | Jérôme Galtier | 2010 |
seine.10.seminar | Integrating modern parallel techniques in the Tiger compiler | Warren Seine | 2010 |
sadegh.10.seminar | Complementing Büchi Automata With Alternating Automata | Guillaume Sadegh | 2010 |
carlinet.11.seminar | A fast algorithm for auto-dual trees | Edwin Carlinet | 2010 |
denuziere.10.seminar | Property-Based Genericity: A Dynamic Approach | Loïc Denuzière | 2010 |
hamelin.10.seminar | Towards Vaucanson 2.0 | Alex Hamelin | 2010 |
hamelin.11.seminar | Vaucanson 2.0 Internals | Alex Hamelin | 2010 |
lefortier.10.seminar | A new translation from LTL into TGBA in Spot | Damien Lefortier | 2010 |
chedeau.10.seminar | Functionnal approach of image processing genericity | Christopher Chedeau | 2010 |
abecassis.10.seminar | Minimization of automata representing obligation formulae | Felix Abecassis | 2010 |
ordy.09.seminar | Adding Contracts to C++ with Transformers | Vincent Ordy | 2009 |
carlinet.09.seminar | Component trees in Milena | Edwin Carlinet | 2009 |
ma.09.seminar | Automata in Natural Language Processing | Jimmy Ma | 2009 |
d-halluin.09.seminar | Benchmarking Vaucanson and large C++ libraries | Florent D'Halluin | 2009 |
galtier.09.seminar | Remedial treatment for Vaucanson: an enhanced automaton concept | Jérôme Galtier | 2009 |
seine.09.seminar | An implementation of the C++ container library with SCOOL | Warren Seine | 2009 |
sadegh.09.seminar | Complementing Büchi Automata | Guillaume Sadegh | 2009 |
denuziere.09.seminar | CLIMB: A Dynamic Approach To Generic Image Processing | Loïc Denuzière | 2009 |
hamelin.09.seminar | Property based class hierarchy of Vaucanson's Algebra module | Alex Hamelin | 2009 |
jardonnet.09.seminar | Image reconstruction | Ugo Jardonnet | 2009 |
lefortier.09.seminar | Translation of an extended LTL into TBGA in Spot | Damien Lefortier | 2009 |
damota.09.seminar | Nondeterminisation of alternating automata in SPOT | Samuel Da Mota | 2009 |
folio.09.seminar | Histograms | Etienne Folio | 2009 |
abraham.09.seminar | Morphology on color images | Alexandre Abraham | 2009 |
garrigues.09.seminar | Tarjan Union-Find algorithm and connected operators | Matthieu Garrigues | 2009 |
ballas.09.seminar | Properties in Milena | Nicolas Ballas | 2009 |
durlin.08.seminar | Semantics driven disambiguation: A comparison of different approaches | Renaud Durlin | 2008 |
sadegh.08.seminar | A Promela front-end for Spot | Guillaume Sadegh | 2008 |
van-noppen.09.seminar | SCOOL: Generic programming | Maxime van Noppen | 2008 |
delmon.08.seminar.reduce | Automata Reduction | Vivien Delmon | 2008 |
duhamel.08.seminar | Stage de traitement d'image au LRDE | Guillaume Duhamel | 2008 |
pierron.08.seminar | Automatic Attribute Propagation for Modular Attribute Grammars | Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure | 2008 |
leblanc.08.seminar.comparison | Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games | Antoine Leblanc | 2008 |
jardonnet.08.seminar | Fast Image Registration | Ugo Jardonnet | 2008 |
lesaint.08.seminar | FSMXML and its application in Vaucanson | Florian Lesaint | 2008 |
queze.08.seminar | C++ Program Slicing with Transformers | Florian Quèze | 2008 |
lefortier.08.seminar | Translation of an extended LTL into TBGA in Spot | Damien Lefortier | 2008 |
lesaint.08.seminar.syncrelations | Synchronous relations in Vaucanson | Florian Lesaint | 2008 |
garrigues.08.seminar | Stage de traitement d'image au LRDE | Matthieu Garrigues | 2008 |
queze.08.seminar.transend | Transformers: toward the end of the pipeline | Florian Quèze | 2008 |
garcia-ballester.08.seminar | Fictious Play | Jean-Philippe Garcia Ballester | 2008 |
vigouroux.08.seminar | Color types in Milena | Caroline Vigouroux | 2008 |
folio.08.seminar | Distance Transform | Etienne Folio | 2008 |
lazzara.08.seminar | Boosting Vaucanson's genericity | Guillaume Lazzara | 2008 |
abraham.08.seminar | Topological Watershed | Alexandre Abraham | 2008 |
charron.08.seminar | Homolib | Samuel Charron | 2008 |
querol.08.seminar | SVM-MLLR for multi-speaker verification systems score fusion | Geoffroy Querol | 2008 |
sigoure.08.seminar | Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages | Benoît Sigoure | 2008 |
deledalle.08.seminar | SVM Kernel Combining System for Speaker Verification | Charles-Alban Deledalle | 2008 |
raud.08.seminar | Centaur: A generic framework simplifying C++ transformation | Cédric Raud | 2008 |
garrigues.08.seminar.fllt | Fast Level Line Transform | Matthieu Garrigues | 2008 |
ballas.08.seminar | Image taxonomy in Milena | Nicolas Ballas | 2008 |
leroi.08.seminar | Synchronized Tranducers | Guillaume Leroi | 2008 |
ordy.08.seminar | Implementing a C++ extension with Transformers: class namespace | Vincent Ordy | 2008 |
hocquet.08.seminar | revCPP A reversible C++ preprocessor | Benoît Sigoure, Quentin Hocquet | 2008 |
van-noppen.08.seminar | SCOOL: Concept-Oriented Programming | Maxime van Noppen | 2008 |
legrand.08.seminar | Generalized Linear Discriminant Sequence for Speaker Verification | Antoine Legrand | 2008 |
delmon.08.seminar | Rational Expression Parser | Vivien Delmon | 2008 |
ma.08.seminar | Boosting Vaucanson's Iterator | Jimmy Ma | 2008 |
d-halluin.08.seminar | Yet Another Vaucanson GUI | Florent D'Halluin | 2008 |
galtier.08.seminar | Improving Vaucanson's transducers composition algorithm | Jérôme Galtier | 2008 |
seine.08.seminar | C++ template disambiguation with Transformers Attribute Grammars | Warren Seine | 2008 |
leblanc.08.seminar | Alternate Fictitious Play study and implementation | Antoine Leblanc | 2008 |
jardonnet.07.seminar | Canvas in Morphological Algorithms | Ugo Jardonnet | 2007 |
lesaint.07.seminar | XML Proposal and its Application in Vaucanson | Florian Lesaint | 2007 |
sigoure.07.seminar | revCPP A reversible C++ preprocessor | Benoît Sigoure, Quentin Hocquet | 2007 |
moulard.07.seminar | C++ container library with the SCOOP paradigm | Thomas Moulard | 2007 |
abraham.07.seminar | ConceptC++ study and possible integration in SCOOP | Alexandre Abraham | 2007 |
moulard.08.seminar | An overview of Scoop, a static object-oriented paradigm | Thomas Moulard | 2007 |
querol.07.seminar | Speaker recognition evaluation: selective approaches and fusion | Geoffroy Querol | 2007 |
deledalle.07.seminar | Factor analysis based channel compensation in speaker verification | Charles-Alban Deledalle | 2007 |
neri.07.seminar | Learning models for model-checking | Neri Nicolas | 2007 |
ballas.07.seminar | Software engineering in Olena Core | Nicolas Ballas | 2007 |
lazzara.07.seminar | Boosting Vaucanson | Guillame Lazzara, Jimmy Ma | 2007 |
neri.08.seminar | Transfinite Chomp | Nicolas Neri | 2007 |
delmon.07.seminar | Generic epsilon-removal | Vivien Delmon | 2007 |
leblanc.07.seminar | Efficient algorithmic methods for Nash equilibria computation | Antoine Leblanc | 2007 |
van-noppen.07.seminar | SCOOL: object orientation of a static language | Maxime van Noppen | 2007 |
durlin.07.seminar | Semantics driven disambiguation | Renaud Durlin | 2007 |
queze.07.seminar | Tools for Attribute Grammars manipulation in Transformers | Florian Quèze | 2007 |
pierron.07.seminar | Formal Definition of the Disambiguation with Attribute Grammars | Nicolas Pierron | 2007 |
melin.07.seminar | LRDE's Speaker Verification Framework | Charles Melin, Julien Ramakichenin | 2007 |
hocquet.06.seminar | Scool transformation towards C++ | Quentin Hocquet | 2006 |
moulard.06.seminar | Conception of a static oriented language: an overview of Scool | Thomas Moulard | 2006 |
berger.06.seminar | Image taxonomy in Olena | Christophe Berger | 2006 |
sigoure.06.seminar | eXtended Reactive Modules | Benoît Sigoure | 2006 |
gournet.06.seminar | Parsing with Transformers | Olivier Gournet, Alexandre Borghi, Nicolas Pierron | 2006 |
pouillard.06.seminar | Dynamization of C++ static libraries | Nicolas Pouillard, Damien Thivolle | 2006 |
berger.05.seminar | Using connected operators to manipulate image components | Christophe Berger, Nicolas Widynski | 2005 |
terrones.05.seminar | From an expression to the original automaton | Florent Terrones | 2005 |
bigaignon.05.seminar | Computing the regular language recognized by a finite automaton | Robert Bigaignon | 2005 |
thivolle.05.seminar | Canvas in Olena | Damien Thivolle | 2005 |
cadilhac.05.seminar | Cover automata for finite languages | Michaël Cadilhac | 2005 |
despres.05.seminar | Regression benchmarking | Nicolas Despres | 2005 |
odou.05.seminar | Images taxonomy and modeling | Simon Odou | 2005 |
roussel.04.seminar2 | C++ type-checking: A study of existing solutions | Julien Roussel | 2004 |
pouchet.04.seminar.gui | Développement d'une interface graphique pour Vaucanson | Louis-Noel Pouchët | 2004 |
claveirole.04.seminar.overview | An overview of Vaucanson | Thomas Claveirole | 2004 |
despres.04.seminar | C++ Transformations panorama | Nicolas Despres | 2004 |
fosse.04.seminar | Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions | Loïc Fosse | 2004 |
pouchet.04.seminar.interpreter | An interpreter for Vaucanson | Louis-Noël Pouchet | 2004 |
david.04.seminar | Attribute grammars for C++ disambiguation | Valentin David | 2004 |
gournet.04.seminar | Progress in C++ source preprocessing | Olivier Gournet | 2004 |
o-connor.04.seminar | Implementation of transducers in Vaucanson | Sarah O'Connor | 2004 |
claveirole.04.seminar.analysis | Analysis of the Vaucanson project | Thomas Claveirole | 2004 |
vasseur.04.seminar | Semantics driven disambiguation: a comparison of different approaches | Clément Vasseur | 2004 |
anisko.03.seminar | Transformers: a C++ program transformation framework | Robert Anisko, Valentin David, Clément Vasseur | 2003 |