Paper-Conference | Didier Verna's Scientific Website

Image Processing

Généricité Dynamique pour des Algorithmes Morphologiques

Baptiste Esteban

• Aug 1, 2022 • 1 min read

Image Processing

Estimation de la Fonction de Niveau de Bruit pour des Images Couleurs en Utilisant la Morphologie Mathématique

Baptiste Esteban

• Aug 1, 2022 • 1 min read

Image Processing

Estimation of the Noise Level Function for Color Images Using Mathematical Morphology and Non-Parametric Statistics

Baptiste Esteban

• Jul 1, 2022 • 1 min read

Typesetting

ETAP: Experimental Typesetting Algorithms Platform

Didier Verna

• Mar 21, 2022 • 1 min read

Natural Language Processing

A Corpus Processing and Analysis Pipeline for Quickref

Antoine Hacquard

• Apr 1, 2021 • 1 min read

Documentation

Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo

Presentation of the Quickref global documentation project

Didier Verna

• Sep 4, 2019 • 1 min read

Parallelization

Parallelizing Quickref

Didier Verna

• Apr 1, 2019 • 1 min read

SUBTYPEP

Implementing Baker’s SUBTYPEP decision procedure

Léo Valais

• Apr 1, 2019 • 1 min read

Optimization

Finite Automata Theory Based Optimization of Conditional Variable Binding

Jim Newton

• Apr 1, 2019 • 1 min read

Software Engineering

Method Combinators

Improving Common Lisp's method combinations support.

Didier Verna

• Apr 16, 2018 • 1 min read