Job references

This is a property of type Text.

Usage25

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 5 pages using this property.

J

Jobs/M2 TG 2014 self-dual-filters/fr +

[http://arxiv.org/pdf/1204.4758.pdf Y. Xu et al., ''Morphological filtering in shape spaces'', in the Proc. of ICPR, 2012] +

Jobs/PHD 2019 LDL +

* Spot: https://spot.lrde.epita.fr/ * LDL: https://www.cs.rice.edu/~vardi/papers/ijcai13.pdf (attention, la sémantique de LDL y est donnée sur des mots finis, alors que nous travaillerons sur des mots infinis). * PSL: https://fr.wikipedia.org/wiki/Property_Specification_Language +

Jobs/PHD 2019 omegaGPU +

* Spot: https://spot.lrde.epita.fr/ * https://www.researchgate.net/publication/318983530_Graph_Processing_on_GPUs_A_Survey * https://arxiv.org/pdf/1801.05857.pdf * https://fmt.ewi.utwente.nl/media/101.pdf +

Jobs/PHD 2019 omegalgo +

* Spot: https://spot.lrde.epita.fr/ * HOA: https://www.lrde.epita.fr/~adl/dl/adl/babiak.15.cav.pdf * Why these automata types: http://www.faculty.idc.ac.il/udiboker/files/AutomataTypes.pdf * L'article d'Emerson-Lei: https://www.sciencedirect.com/science/article/pii/0167642387900360 * Une des premières utilisations du terme "EL-automaton": https://www.cs.rice.edu/~vardi/papers/stoc89rj.pdf +

Jobs/SPE DV 2015 interface graphique Qt +

[[File:sujet-climb-qt.png|640px]] +

Property

Job references

From LRDE