Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Computing the regular language recognized by a finite automaton  + (0508)
• Computing the regular language recognized by a finite automaton  + (0508)
• Regression benchmarking  + (0513)
• Regression benchmarking  + (0513)
• Using connected operators to manipulate image components  + (0517)
• Using connected operators to manipulate image components  + (0517)
• Dynamization of C++ static libraries  + (0602)
• Dynamization of C++ static libraries  + (0602)
• Image taxonomy in Olena  + (0603)
• Image taxonomy in Olena  + (0603)
• Conception of a static oriented language: an overview of Scool  + (0610)
• Conception of a static oriented language: an overview of Scool  + (0610)
• Scool transformation towards C++  + (0619)
• Scool transformation towards C++  + (0619)
• eXtended Reactive Modules  + (0620)
• eXtended Reactive Modules  + (0620)

• Boosting Vaucanson  + (0700)
• Boosting Vaucanson  + (0700)

• Formal Definition of the Disambiguation with Attribute Grammars  + (0702)
• Formal Definition of the Disambiguation with Attribute Grammars  + (0702)
• Learning models for model-checking  + (0704)
• Learning models for model-checking  + (0704)
• Factor analysis based channel compensation in speaker verification  + (0705)
• Factor analysis based channel compensation in speaker verification  + (0705)
• LRDE's Speaker Verification Framework  + (0706)
• LRDE's Speaker Verification Framework  + (0706)
• Speaker recognition evaluation: selective approaches and fusion  + (0707)
• Speaker recognition evaluation: selective approaches and fusion  + (0707)
• Semantics driven disambiguation  + (0709)
• Semantics driven disambiguation  + (0709)
• C++ container library with the SCOOP paradigm  + (0710)
• C++ container library with the SCOOP paradigm  + (0710)
• revCPP A reversible C++ preprocessor  + (0742)
• revCPP A reversible C++ preprocessor  + (0742)
• Generic epsilon-removal  + (0743)
• Generic epsilon-removal  + (0743)
• XML Proposal and its Application in Vaucanson  + (0744)
• XML Proposal and its Application in Vaucanson  + (0744)
• Efficient algorithmic methods for Nash equilibria computation  + (0745)
• Efficient algorithmic methods for Nash equilibria computation  + (0745)
• Software engineering in Olena Core  + (0746)
• Software engineering in Olena Core  + (0746)