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

• eXtended Reactive Modules  + (sigoure.06.seminar)
• eXtended Reactive Modules  + (sigoure.06.seminar)
• revCPP A reversible C++ preprocessor  + (sigoure.07.seminar)
• revCPP A reversible C++ preprocessor  + (sigoure.07.seminar)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (sigoure.08.seminar)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (sigoure.08.seminar)
• Efficient implementations of hierarchical morphological representations  + (simonin.21.seminar)
• Implementations efficaces des representations hierarchiques morphologiques  + (simonin.21.seminar)
• From an expression to the original automaton  + (terrones.05.seminar)
• From an expression to the original automaton  + (terrones.05.seminar)
• Canvas in Olena  + (thivolle.05.seminar)
• Canvas in Olena  + (thivolle.05.seminar)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (tochon.17.chapter)
• Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking  + (tochon.17.tgrs)
• Constructing a braid of partitions from hierarchies of partitions  + (tochon.19.ismm)
• Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  + (tochon.19.pr)
• Transducer composition in Vaucanson 2  + (tolmer.14.seminar)
• Composition de transducteur dans Vaucanson 2  + (tolmer.14.seminar)
• Algorithms on Transducers  + (tolmer.15.seminar)
• Algorithmes sur les Transducteurs  + (tolmer.15.seminar)
• Efficient Transducer Composition in Vcsn  + (tolmer.16.seminar)
• Composition Efficace de Transducteurs dans Vcsn  + (tolmer.16.seminar)
• Partial order reduction in SPOT  + (tourneur.17.seminar)
• Réduction d'ordre partiel dans SPOT  + (tourneur.17.seminar)
• Implementation of Invisible and Transparent Transitions in Spot  + (tourneur.18.seminar)
• Implémentation des transitions invisibles et transparentes dans Spot  + (tourneur.18.seminar)

• Benchmarking of Partial Order Reduction in Spot  + (tourneur.19.seminar)
• Mesures sur la réduction d'ordre partiel dans Spot  + (tourneur.19.seminar)

• Electricity Price Forecasting on the Day-Ahead Market using Machine Learning  + (tschora.22.apen)
• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  + (tschora.23.ida)
• SUBTYPEP: An Implementation of Baker's Algorithm  + (valais.18.seminar)
• SUBTYPEP: Une implémentation de l'algorithme de Baker  + (valais.18.seminar)
• Implementing Baker's SUBTYPEP decision procedure  + (valais.19.els)
• Implementing Baker's SUBTYPEP decision procedure  + (valais.19.seminar)
• Implémentation de l'algorithme de SUBTYPEP de Baker  + (valais.19.seminar)
• Implementing Baker's SUBTYPEP decision procedure  + (valais.20.seminar)
• Implémentation de l'algorithme de SUBTYPEP de Baker  + (valais.20.seminar)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (vallade.20.nfm)
• Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  + (vallade.20.sat)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (vallade.22.setta)
• SCOOL: object orientation of a static language  + (van-noppen.07.seminar)
• SCOOL: object orientation of a static language  + (van-noppen.07.seminar)
• SCOOL: Concept-Oriented Programming  + (van-noppen.08.seminar)
• SCOOL: Programmation générique et concepts  + (van-noppen.08.seminar)
• SCOOL: Generic programming  + (van-noppen.09.seminar)
• SCOOL: Programmation générique  + (van-noppen.09.seminar)
• Semantics driven disambiguation: a comparison of different approaches  + (vasseur.04.seminar)
• Semantics driven disambiguation: a comparison of different approaches  + (vasseur.04.seminar)
• Proposal: an XML representation for automata  + (vaucanson.04.techrep)
• Automatic maintenance of exported symbols in Common Lisp packages  + (vermorel.13.seminar)
• Maintenance automatique des symboles exportés dans les packages de Common Lisp  + (vermorel.13.seminar)
• Action recognition: how intelligent virtual environments can ease human-machine interaction  + (verna.00.vsmm)