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

• 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)
• Virtual reality and tele-operation: a common framework  + (verna.01.sci)
• Beating C in Scientific Computing Applications  + (verna.06.ecoop)
• How to make Lisp go faster than C  + (verna.06.ijcs)
• How to make Lisp go faster than C  + (verna.06.imecs)
• CLOS solutions to binary methods  + (verna.07.imecs)
• Binary Methods Programming: the CLOS Perspective  + (verna.08.els)
• Binary Methods Programming: the CLOS Perspective (extended version)  + (verna.08.jucs)
• Report on the 5th Workshop ELW at ECOOP 2008  + (verna.08.lncs)
• Revisiting the Visitor: the Just Do It Pattern  + (verna.09.accu)
• CLOS Efficiency: Instantiation  + (verna.09.ilc)
• CLoX: Common Lisp objects for XEmacs  + (verna.10.els)
• Revisiting the Visitor: the Just Do It Pattern  + (verna.10.jucs)