9611 search results - page 128 / 1923 » A Note on Difference Sets |
PSIVT
2007
Springer
14 years 3 months ago
2007
Springer
It is often practical to measure how linear a certain ordered set of points is. We are interested in linearity measures which are invariant to rotation, scaling, and translation. T...
CIVR
2008
Springer
13 years 11 months ago
2008
Springer
We describe a novel approach to identifying specific settings in large collections of passively captured images corresponding to a visual diary. An algorithm developed for setting...
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
There has been considerable success in automated reconstruction for image sequences where small baseline algorithms can be used to establish matches across a number of images. In c...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...