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
Publication paper
From LRDE
This is a property of type
URL
.
Usage
283
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.
C
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
+
http://www.lrde.epita.fr/dload/papers/vallade.20.sat.pdf
+
Compiler Construction as an Effective Application to Teach Object-Oriented Programming
+
http://www.lrde.epita.fr/dload/papers/demaille.08.kex.pdf
+
Compositional Approach to Suspension and Other Improvements to LTL Translation
+
http://www.lrde.epita.fr/dload/papers/babiak.13.spin.pdf
+
Connected Filtering on Tree-Based Shape-Spaces
+
http://www.lrde.epita.fr/dload/papers/xu.15.pami.pdf
+
Connected Filters on Generalized Shape-Spaces
+
http://www.lrde.epita.fr/dload/papers/huynh.19.prl.pdf
+
Constructing a braid of partitions from hierarchies of partitions
+
http://www.lrde.epita.fr/dload/papers/tochon.19.ismm.pdf
+
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes
+
http://www.lrde.epita.fr/dload//papers/xu.12.icip.pdf
+
Context-Oriented Image Processing
+
http://www.lrde.epita.fr/dload/papers/verna.15.cop.pdf
+
Continuous Well-Composedness implies Digital Well-Composedness in n-D
+
https://www.lrde.epita.fr/dload/papers/boutry.22.jmiv.pdf
+
Contribution aux tests de vacuité pour le model checking explicite
+
http://www.lrde.epita.fr/dload/papers/renault.14.phd.pdf
+
Contributions to LTL and ω-Automata for Model Checking
+
http://www.lrde.epita.fr/dload/papers/duret.17.hdr.pdf
+
D
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy
+
http://www.lrde.epita.fr/dload/papers/boutry.21.media.pdf
+
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina
+
http://www.lrde.epita.fr/dload/papers/rivet.19.spie.pdf
+
Derived-Term Automata of Multitape Expressions with Composition
+
http://www.lrde.epita.fr/dload/papers/demaille.17.sacs.pdf
+
Derived-Term Automata of Multitape Rational Expressions
+
http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.pdf
+
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators
+
http://www.lrde.epita.fr/dload/papers/demaille.17.ictac.pdf
+
Derived-term Automata for Extended Weighted Rational Expressions
+
http://www.lrde.epita.fr/dload/papers/demaille.16.ictac.pdf
+
Discrete set-valued continuity and interpolation
+
https://www.lrde.epita.fr/dload/papers/najman.13.ismm.pdf
+
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation
+
http://www.lrde.epita.fr/dload/papers/zhao.20.icpr.2.pdf
+
Document detection in videos captured by smartphones using a saliency-based method
+
https://www.lrde.epita.fr/dload/papers/movn.19.icdarw.pdf
+