LRDE
LRDE
General Information
Home
People
News
Jobs
Lrde bulletin
Intranet
Research
Projects
Partnerships
Publications
LRDE Seminar
Studying at LRDE
Life at the LRDE
Joining the LRDE
Education
Courses at EPITA
External courses
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
Browse properties
Property
Has author
From LRDE
Text
Usage
2798
previous 20
20
50
100
250
500
next 20
Filter
<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>
Showing 20 pages using this property.
G
Global Optimization for First Order Markov Random Fields with Submodular Priors
+
Jérôme Darbon
+
Go2Pins: A Framework for the LTL Verification of Go Programs
+
Alexandre Kirszenberg
+
, Antoine Martin
+
, Hugo Moreau
+
,
…
Go2Pins: A framework for the LTL verification of Go programs (Extended Version)
+
Etienne Renault
+
, Alexandre Kirszenberg
+
, Antoine Martin
+
,
…
Going beyond p-convolutions to learn grayscale morphological operators
+
Alexandre Kirszenberg
+
, Guillaume Tochon
+
, Élodie Puybareau
+
,
…
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts
+
Nicolas Boutry
+
, Laurent Najman
+
, Gilles Bertrand
+
Gradients Intégrés Renforcés
+
Caroline Mazini-Rodrigues
+
, Nicolas Boutry
+
, NajmanLaurent
+
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata
+
Manfred Droste
+
, Sven Dziadek
+
, Werner Kuich
+
Génération aléatoire d'automates et de chemins dans Vcsn
+
Antoine Pietri
+
Génération aléatoire d'expression rationnelle
+
Lucien Boillod
+
Génération efficace de grands espaces d'états
+
Alexandre Hamez
+
Généricité dynamique pour des algorithmes morphologiques
+
Baptiste Esteban
+
, Edwin Carlinet
+
, Guillaume Tochon
+
,
…
H
Handling blackbox transitions in go2pins
+
Hugo Moreau
+
Hate Speech and Toxic Comment Detection using Transformers
+
Pierre Guillaume
+
, Corentin Duchene
+
, Reda Dehak
+
Heuristics for Checking Liveness Properties with Partial Order Reductions
+
Alexandre Duret-Lutz
+
, Fabrice Kordon
+
, Denis Poitrenaud
+
,
…
Hierarchical Segmentation Using Tree-Based Shape Spaces
+
Yongchao Xu
+
, Edwin Carlinet
+
, Thierry Géraud
+
,
…
Hierarchical Set Decision Diagrams and Automatic Saturation
+
Alexandre Hamez
+
, Yann Thierry-Mieg
+
, Fabrice Kordon
+
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection
+
Yongchao Xu
+
, Thierry Géraud
+
, Laurent Najman
+
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection
+
Yongchao Xu
+
, Thierry Géraud
+
, Laurent Najman
+
High Throughput Automated Detection of Axial Malformations in Medaka Embryo
+
Diane Genest
+
, Élodie Puybareau
+
, Marc Léonard
+
,
…
High throughput automated detection of axial malformations in fish embryo
+
Diane Genest
+
, Elodie Puybareau
+
, Jean Cousty
+
,
…