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

• Implémentation du corps des (nombres) rationnels  + (Vaucanson)
• Lisp, Jazz, Aikido  + (Software Engineering)
• Method Combinators  + (Software Engineering)
• Parallelizing Quickref  + (Software Engineering)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (Software Engineering)
• Polar type inference with intersection types and ω  + (Software engineering)
• NixOS: A purely functional Linux distribution  + (Software engineering)
• JSPP: Morphing C++ into JavaScript  + (Software engineering)
• Generic programming redesign of patterns  + (Software engineering)
• Expression templates in Ada 95  + (Software engineering)
• Generic Image Processing with Climb  + (Software engineering)
• Generic design patterns in C++  + (Software engineering)
• Revisiting the Visitor: the Just Do It Pattern  + (Software engineering)
• How to make Lisp go faster than C  + (Software engineering)
• Extensible languages: blurring the distinction between DSLs and GPLs  + (Software engineering)
• Beating C in Scientific Computing Applications  + (Software engineering)
• CLOS Efficiency: Instantiation  + (Software engineering)
• Stochastic routing in large grid-shaped quantum networks  + (Software engineering)
• Binary Methods Programming: the CLOS Perspective (extended version)  + (Software engineering)
• Binary Methods Programming: the CLOS Perspective  + (Software engineering)
• Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  + (Software engineering)
• Revisiting the Visitor: the Just Do It Pattern  + (Software engineering)
• On the security of quantum networks: a proposal framework and its capacity  + (Software engineering)
• CLOS solutions to binary methods  + (Software engineering)
• CLoX: Common Lisp objects for XEmacs  + (Software engineering)
• Speaker recognition evaluation: selective approaches and fusion  + (Speaker Recognition Evaluation)
• Speaker recognition evaluation: selective approaches and fusion  + (Speaker Recognition Evaluation)
• I-Vector Multilayer Perceptron in Speaker Recognition System  + (Speaker recognition)
• Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur  + (Speaker recognition)

• A Promela front-end for Spot  + (Spot)
• Amélioration de la dégénéralisation dans Spot  + (Spot)
• Effective Reductions of Mealy Machines  + (Spot)
• Front-end Promela dans Spot  + (Spot)
• Generic Emptiness Check for Fun and Profit  + (Spot)
• Go2Pins: A Framework for the LTL Verification of Go Programs  + (Spot)
• Improving degeneralization in Spot  + (Spot)
• Practical “Paritizing” of Emerson–Lei Automata  + (Spot)

• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (Transformers)
• Centaur: A generic framework simplifying C++ transformation  + (Transformers)
• eXtended Reactive Modules  + (model-checking)
• Implementing a C++ extension with Transformers: class namespace  + (Transformers)
• eXtended Reactive Modules  + (model-checking)
• Implémentation d'une extension du C++ dans Transformers: class namespace  + (Transformers)
• SVM Kernel Combining System for Speaker Verification  + (Gaussian Mixture Models)
• SVM Kernel Combining System for Speaker Verification  + (Gaussian Mixture Models)
• Réduction par simulation directe pour les TGBA  + (model-checking)
• Réduction par simulation pour les TGBA  + (automata)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Bisimulation-based Reductions on TGBA  + (automata)
• Simulation-based Reductions for TGBA  + (automata)
• Direct-Simulation Reduction for TGBA  + (model-checking)
• Scribo: Disambiguation of lines superimposement  + (Text extraction)
• Désambiguïsation de la superposition de lignes.  + (Text extraction)
• Extraction de texte avec des ondelettes  + (Wavelets)
• Text extraction method based on wavelets  + (Wavelets)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (C++)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (C++)
• Amélioration de la composition des transducteurs dans Vaucanson  + (Vaucanson)