939 search results - page 67 / 188 » A Case for Polyscopic Structuring of Information |
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
VISSYM
2007
13 years 10 months ago
2007
Lattice graphs are used as underlying data structures in many statistical processing systems, including natural language processing. Lattices compactly represent multiple possible...
CVIU
2004
13 years 7 months ago
2004
There have been relatively little works to shed light on the effects of errors in the intrinsic parameters on motion estimation and scene reconstruction. Given that the estimation...
Publication
A key goal for the perceptual system is to optimally combine
information from all the senses that may be available in order to
develop the most accurate and unified picture possi...
KDD
2012
ACM
11 years 10 months ago
2012
ACM
The problem of efficiently finding the best match for a query in a given set with respect to the Euclidean distance or the cosine similarity has been extensively studied. However...