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.
A
Approximate Probabilistic Model Checking for Programs
+
http://www.lrde.epita.fr/dload/papers/david.06.iccp.pdf
+
Attribute Grammars for Modular Disambiguation
+
http://www.lrde.epita.fr/dload/papers/david.06.iccp.pdf
+
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness
+
http://www.lrde.epita.fr/dload/papers/rusinol.17.mtap.pdf
+
B
Beating C in Scientific Computing Applications
+
http://www.lrde.epita.fr/dload/papers/verna.06.ecoop.pdf
+
Benchmarking Keypoint Filtering Approaches for Document Image Matching
+
http://www.lrde.epita.fr/dload/papers/royer.17.icdar.pdf
+
Binary Methods Programming: the CLOS Perspective
+
http://www.lrde.epita.fr/dload/papers/verna.08.els.pdf
+
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them
+
http://www.lrde.epita.fr/dload/papers/verna.11.onward.pdf
+
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images
+
http://www.lrde.epita.fr/dload/papers/tochon.19.pr.pdf
+
C
C-Transformers — A Framework to Write C Program Transformations
+
http://www.lrde.epita.fr/dload/papers/borghi.06.crossroads.pdf
+
C/C++ Disambiguation Using Attribute Grammars
+
http://www.lrde.epita.fr/dload/200505-SUD/disamb/article-200505-SUD-disamb.pdf
+
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
+
http://www.lrde.epita.fr/dload/papers/metin.18.tacas.pdf
+
CLOS Efficiency: Instantiation
+
http://www.lrde.epita.fr/dload/papers/verna.09.ilc.pdf
+
CLOS solutions to binary methods
+
http://www.lrde.epita.fr/dload/papers/verna.07.imecs.pdf
+
CLoX: Common Lisp objects for XEmacs
+
http://www.lrde.epita.fr/dload/papers/verna.10.els.pdf
+
Caractérisation des zones de mouvement périodiques pour applications bio-médicales
+
http://www.lrde.epita.fr/dload/papers/puybareau.17.gretsi.pdf
+
Classes, Styles, Conflicts: the Biological Realm of LaTeX
+
http://www.lrde.epita.fr/dload/papers/verna.10.tug.pdf
+
Color image segmentation based on automatic morphological clustering
+
http://www.lrde.epita.fr/dload/papers/geraud.01.icip.pdf
+
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
+
http://www.lrde.epita.fr/dload/papers/chen.2021.dgmm.pdf
+
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
+
http://www.lrde.epita.fr/dload/papers/bensalem.15.acsd.pdf
+
Combining Parallel Emptiness Checks with Partial Order Reductions
+
http://www.lrde.epita.fr/dload/papers/poitrenaud.19.icfem.pdf
+