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
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (demaille.08.fsmnlp)
- A Set of Tools to Teach Compiler Construction + (demaille.08.iticse)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (demaille.08.kex)
- Semantics driven disambiguation: A comparison of different approaches + (demaille.08.ldta)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (demaille.09.sac)
- Implementation Concepts in Vaucanson 2 + (demaille.13.ciaa)
- A Type System for Weighted Automata and Rational Expressions + (demaille.14.ciaa)
- Derived-Term Automata of Multitape Rational Expressions + (demaille.16.ciaa)
- Derived-term Automata for Extended Weighted Rational Expressions + (demaille.16.ictac)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (demaille.17.ictac)
- Derived-Term Automata of Multitape Expressions with Composition + (demaille.17.sacs)
- Uniform Random Sampling of Traces in Very Large Models + (denise.06.rt)
- CLIMB: A Dynamic Approach To Generic Image Processing + (denuziere.09.seminar)
- CLIMB: Une approche dynamique du traitement générique d'images + (denuziere.09.seminar)
- Property-Based Genericity: A Dynamic Approach + (denuziere.10.seminar)
- La généricité par propriétés + (denuziere.10.seminar)
- Designing the user interface for a Common Lisp generic library + (denuziere.11.seminar)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (denuziere.11.seminar)
- C++ Transformations panorama + (despres.04.seminar)
- C++ Transformations panorama + (despres.04.seminar)
- Regression benchmarking + (despres.05.seminar)
- Regression benchmarking + (despres.05.seminar)
- Supervised Discrimination of Characters on Images + (deutsch.16.seminar)
- Discrimination supervisé de caractères sur des images + (deutsch.16.seminar)
- Trie-based Output Itemset Sampling + (diop.22.ieeebigdata)
- NixOS: A purely functional Linux distribution + (dolstra.10.jfp)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (dore.15.seminar)
- Adaptation of the watershed cuts algorithm to cellular complexes + (dore.15.seminar)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (drapeau.17.grec)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (droste.22.iandc)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (drumetz.17.lva-ica)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (drumetz.20.icassp)
- Fast simulation based reduction for ω-automaton + (dubois.21.seminar)
- Réduction basée sur des simulations d'ω-automates + (dubois.21.seminar)
- Fast reductions for ω-automaton + (dubois.22.seminar)
- Réduction efficace d'ω-automate + (dubois.22.seminar)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (dubuisson.15.visapp)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (duflot.04.avocs)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (duflot.06.book)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (duluard.22.mlsa)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (duret.00.gcse)
- Expression templates in Ada 95 + (duret.01.ae)
- Generic design patterns in C++ + (duret.01.coots)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (duret.09.atva)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (duret.11.arxiv)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (duret.11.atva)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (duret.11.sumo)
- LTL Translation Improvements in Spot + (duret.11.vecos)
- Manipulating LTL formulas using Spot 1.0 + (duret.13.atva)
- LTL Translation Improvements in Spot 1.0 + (duret.14.ijccbs)