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
- 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)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX + (verna.10.tug)
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them + (verna.11.onward)
- Towards LaTeX Coding Standards + (verna.11.tug)
- Extensible languages: blurring the distinction between DSLs and GPLs + (verna.12.dsl)
- Star TeX : the Next Generation + (verna.12.tug)
- The incredible tale of the author who didn't want to do the publisher's job + (verna.13.tug-1)
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) + (verna.13.tug-2)
- Context-Oriented Image Processing + (verna.15.cop)
- Method Combinators + (verna.18.els)
- Lisp, Jazz, Aikido + (verna.18.programming)
- Parallelizing Quickref + (verna.19.els)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo + (verna.19.tug)
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity + (verna.20.hdr)