: This paper presents a novel representation for three-dimensional objects in terms of affine-invariant image patches and their spatial relationships. Multi-view constraints associ...
Fred Rothganger, Svetlana Lazebnik, Cordelia Schmi...
The question of fingerprint individuality can be posed as follows: Given a query fingerprint, what is the probability that the observed number of minutiae matches with a template ...
This article describes a process to include in a volumetric model various anatomical and mechanical information provided by different sources. Three stages are described, namely a ...
Maxime Sermesant, Clement Forest, Xavier Pennec, H...
We discuss the problem of fitting an implicit shape model to a set of points sampled from a co-dimension one manifold of arbitrary topology. The method solves a non-convex optimis...
Christian Walder, Olivier Chapelle, Bernhard Sch&o...
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...