314 search results - page 32 / 63 » Cubical token systems |
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
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...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
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...
BLISS
2008
IEEE
14 years 3 months ago
2008
IEEE
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...
3DPVT
2002
IEEE
14 years 1 months ago
2002
IEEE
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...
CG
2007
Springer
13 years 8 months ago
2007
Springer
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...