1382 search results - page 187 / 277 » Formal Analysis of Online Algorithms |
192
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
Photo tourism [11] is a platform that allows users to transform unstructured online digital photos into a 3D experience. Nowadays, image sensors are being extensively used to allo...
183
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Browsing and finding pictures in large-scale and heterogeneous collections is an important issue, most particularly for online photo sharing applications. Since such services know...
174
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
224
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
The term online reputation addresses trust relationships amongst agents in dynamic open systems. These can appear as ratings, recommendations, referrals and feedback. Several repu...
177
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...