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 keyword
From LRDE
This is a property of type
Text
.
Usage
1063
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.
O
On GNN Explainability with Activation Rules
+
IA
+
On Some Associations Between Mathematical Morphology and Artificial Intelligence
+
Image
+
On a Polynomial Vector Field Model for Shape Representation
+
Image
+
On the Usefulness of Clause Strengthening in Parallel SAT Solving
+
Parallel satisfiability
+
, tool
+
, strengthening
+
,
…
On the security of quantum networks: a proposal framework and its capacity
+
Software engineering
+
P
PaInleSS: a Framework for Parallel SAT Solving
+
parallel
+
, satisfiability
+
, clause sharing
+
,
…
Parallel Computation of Component Trees on Distributed Memory Machines
+
Image
+
Parallel Model Checking Algorithms for Linear-Time Temporal Logic
+
Verification
+
Parallelizing Quickref
+
Software Engineering
+
Parser d'expressions rationnelles
+
parser
+
, rational expression
+
, Bison
+
,
…
Performance Comparison of Several Folding Strategies
+
fold
+
, binary decision diagram
+
, scala
+
,
…
Periodic Area-of-Motion characterization for Bio-Medical applications
+
Image
+
Person authentication based on hand shape
+
Image
+
Polar type inference with intersection types and ω
+
Software engineering
+
Practical “Paritizing” of Emerson–Lei Automata
+
Spot
+
Programmatic Manipulation of Common Lisp Type Specifiers
+
Graph algorithms
+
, typechecking
+
, Boolean functions
+
,
…
Progresses towards Vaucanson 1.4 and 2.0
+
Vaucanson
+
, Kind
+
, Semiring
+
,
…
Project EFIGI: Automatic classification of galaxies
+
Image
+
Properties in Milena
+
Image processing library
+
, software engineering
+
, image properties
+
Property based class hierarchy of Vaucanson's Algebra module
+
Vaucanson
+
, SCOOL
+
, Algebra
+
,
…