We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
This paper reports the preliminary experiments on the cow identification via gait recognition of motion images. The eight cows walking under two different situations have been pr...
Shu Mimura, Keichi Itoh, Takumi Kobayashi, Tomohir...
We propose a fast 3D model acquisition system that aligns intensity and depth images, and reconstructs a textured 3D mesh. 3D views are registered with shape alignment based on in...
Louis-Philippe Morency, Ali Rahimi, Trevor Darrell
We present a novel method for determining local multiresolution filters for a broad range of subdivision schemes. Our approach is based on constraining the wavelet coefficients s...
Luke Olsen, Faramarz F. Samavati, Richard H. Barte...