338 search results - page 40 / 68 » Locally checkable proofs |
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
The use of human hand as a natural interface device serves as a motivating force for research in the modeling, analyzing and capturing of the motion of articulated hand. Model-bas...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
We propose a new voxel similarity measure which utilises local image structure as well intensity information. Gaussian scale space derivatives are used to provide the structural in...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper presents a distributed control strategy for deploying hovering robots with multiple downward facing cameras to collectively monitor an environment. Information per p...
APPROX
2009
Springer
14 years 3 months ago
2009
Springer
Referring to the query complexity of property testing, we prove the existence of a rich hierarchy of corresponding complexity classes. That is, for any relevant function q, we prov...