News title

This is a property of type Text.

Usage914

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.

B

Binary Methods Programming: the CLOS Perspective (extended version) +

'''Publication''' [[Publications/verna.08.jucs|Binary Methods Programming: the CLOS Perspective (extended version)]] in ''Journal of Universal Computer Science'' +

Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +

'''Publication''' [[Publications/verna.11.onward|Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them]] in ''Onward! 2011'' +

Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +

'''Publication''' [[Publications/hammi.21.ieee|Blockchain-Based Solution for Detecting and Preventing Fake Check Scams]] in ''IEEE Transactions on Engineering Management'' +

BoxedSdf 0.1 is released (2003-06-18) +

[[Transformers|BoxedSdf 0.1]] is released +

Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +

'''Publication''' [[Publications/tochon.19.pr|Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images]] in ''Pattern Recognition'' +

Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +

'''Publication''' [[Publications/hamez.09.fi|Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation]] in ''Fundamenta Informaticae'' +

Building LTL Model Checkers using Transition-based Generalized Büchi Automata +

'''Publication''' [[Publications/duret.11.sumo|Building LTL Model Checkers using Transition-based Generalized Büchi Automata]] +

C

C-Transformers — A Framework to Write C Program Transformations +

'''Publication''' [[Publications/borghi.06.crossroads|C-Transformers — A Framework to Write C Program Transformations]] in ''ACM Crossroads'' +

C/C++ Disambiguation Using Attribute Grammars +

'''Publication''' [[Publications/david.05.sud|C/C++ Disambiguation Using Attribute Grammars]] +

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +

'''Publication''' [[Publications/metin.18.tacas|CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving]] in ''Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)'' +

CLOS Efficiency: Instantiation +

'''Publication''' [[Publications/verna.09.ilc|CLOS Efficiency: Instantiation]] in ''Proceedings of the International Lisp Conference'' +

CLOS solutions to binary methods +

'''Publication''' [[Publications/verna.07.imecs|CLOS solutions to binary methods]] in ''Proceedings of the International MultiConference of Engineers and Computer Scientists'' +

CLoX: Common Lisp objects for XEmacs +

'''Publication''' [[Publications/verna.10.els|CLoX: Common Lisp objects for XEmacs]] in ''Proceedings of the 3rd European Lisp Symposium'' +

Caractérisation des zones de mouvement périodiques pour applications bio-médicales +

'''Publication''' [[Publications/puybareau.17.gretsi|Caractérisation des zones de mouvement périodiques pour applications bio-médicales]] in ''Actes du 26e Colloque GRETSI'' +

Catoids and Modal Convolution Algebras +

'''Publication''' [[Publications/fahrenberg.23.alguniv|Catoids and Modal Convolution Algebras]] in ''Algebra Universalis'' +

Cepstral and Long-Term Features for Emotion Recognition +

'''Publication''' [[Publications/dehak.09.interspeechb|Cepstral and Long-Term Features for Emotion Recognition]] in ''Interspeech'' +

Classes, Styles, Conflicts: the Biological Realm of LaTeX +

'''Publication''' [[Publications/verna.10.tug|Classes, Styles, Conflicts: the Biological Realm of LaTeX]] in ''TUGboat'' +

CodeBoost tutorial morning (2004-05-19) +

CodeBoost tutorial morning +

Color image segmentation based on automatic morphological clustering +

'''Publication''' [[Publications/geraud.01.icip|Color image segmentation based on automatic morphological clustering]] in ''Proceedings of the IEEE International Conference on Image Processing (ICIP)'' +

Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +

'''Publication''' [[Publications/chen.21.dgmm|Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation]] in ''Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)'' +

Property

News title

From LRDE