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
CSI report number
From LRDE
This is a property of type
String
.
Usage
458
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.
R
Reconstruction d'image
+
0831
+
Reduce the resource consumption of a complex image processing chain
+
1304
+
Reduction d'automates
+
0830
+
Regression benchmarking
+
0513
+
Regression benchmarking
+
0513
+
Reimplementation of testing-automata in Spot
+
1906
+
Remedial treatment for Vaucanson: an enhanced automaton concept
+
0909
+
Reseaux de neurones en goulot pour la Reconnaissance du Locuteur
+
1605
+
Réduction basée sur des simulations d'ω-automates
+
2123
+
Réduction basées sur la bisimulation appliquées aux TGBA
+
1104
+
Réduction d'ordre partiel dans SPOT
+
1709
+
Réduction efficace d'ω-automate
+
2202
+
Réduction par simulation directe pour les TGBA
+
1203
+
Réduction par simulation pour les TGBA
+
1214
+
Réduire les ressources utilisées par une chaîne de traitement d'images complexe
+
1304
+
Réimplémentation des automates testeurs dans Spot
+
1906
+
S
SCOOL: Concept-Oriented Programming
+
0816
+
SCOOL: Programmation générique et concepts
+
0816
+
SUBTYPEP: An Implementation of Baker's Algorithm
+
1810
+
SUBTYPEP: Une implémentation de l'algorithme de Baker
+
1810
+