-
Generalized Multisets for Chemical Programming
Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can... -
Higher-Order Active Contour Energies for Gap Closure
One of the main difficulties in extracting line networks from images, and in particular road networks from remote sensing images, is the existence of interruptions in... -
Higher Order Active Contours
We introduce a new class of active contour models that hold great promise for region and shape modelling, and we apply a special case of these models to the extraction... -
Splitting methods with complex times for parabolic equations
International audience -
Common Knowledge Logic in a Higher Order Proof Assistant
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the... -
A pruned higher-order network for knowledge extraction
Colloque avec actes et comité de lecture. internationale.
