1888 search results - page 277 / 378 » Proof theory and computational analysis |
116
click to vote
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
The needs of blind and visually impaired users are seriously under-investigated in CSCW. We review work on assistive interfaces especially concerning how collaboration between sig...
190
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
The previous literature of privacy preserving data publication has focused on performing "one-time" releases. Specifically, none of the existing solutions supports re-pu...
PODS
2007
ACM
16 years 1 months ago
2007
ACM
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
103
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...
103
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...