1496 search results - page 254 / 300 » Definability of Initial Segments |
137
click to vote
JUCS
2008
15 years 1 months ago
2008
: Mass digitization of document collections with further processing and semantic annotation is an increasing activity among libraries and archives at large for preservation, browsi...
129
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
106
click to vote
PAMI
2006
15 years 1 months ago
2006
This paper addresses the problem of rotation estimation directly from images defined on the sphere and without correspondence. The method is particularly useful for the alignment ...
SCL
2008
15 years 1 months ago
2008
This paper considers time-varying uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set. This set consists of the initial ...
101
click to vote
IJCINI
2007
15 years 1 months ago
2007
The purpose of this paper is to re-address the vision of human-computer symbiosis as originally expressed by J.C.R. Licklider nearly a half-century ago and to argue for the releva...