We describe in this paper a method for 3D shape indexing and retrieval that we apply on three data collections of the SHREC SHape Retrieval Contest 2008: Stability on watertight, ...
Thibault Napoleon, Tomasz Adamek, Francis Schmitt,...
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
Abstract— In this paper we address the problem of determining the relative pose of pairs robots that move on a plane while measuring the distance to each other. We show that the ...
In an edge deletion problem one is asked to delete at most k edges from a given graph such that the resulting graph satisfies a certain property. In this work, we study four NP-co...
We present a method to construct a mosaic from multiple color and fluorescein retinal images. A set of images taken from different views at different times is difficult to registe...