3480 search results - page 366 / 696 » General Image Database Model |
135
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
162
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We propose a face difference model that decomposes face difference into three components, intrinsic difference, transformation difference, and noise. Using the face difference mod...
122
click to vote
ICDM
2003
IEEE
15 years 10 months ago
2003
IEEE
In this work, we show that Kleinberg’s hubs and authorities model is closely related to both correspondence analysis, a well-known multivariate statistical technique, and a parti...
143
click to vote
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we identify the constraints under which the generally ill-posed problem of the simultaneous recovery of surface shape and its photometric invariants can be rendered ...
250
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...