Sciweavers

267 search results - page 12 / 54
» Efficient and decentralized computation of approximate globa...
Sort
View
ESWS
2008
Springer
14 years 11 months ago
Tagster - Tagging-Based Distributed Content Sharing
Abstract. Collaborative tagging systems like Flickr and del.icio.us provide centralized content annotation and sharing which is simple to use and attracts many people. A combinatio...
Olaf Görlitz, Sergej Sizov, Steffen Staab
ECCV
2006
Springer
15 years 11 months ago
Balanced Exploration and Exploitation Model Search for Efficient Epipolar Geometry Estimation
Abstract. The estimation of the epipolar geometry is especially difficult where the putative correspondences include a low percentage of inlier correspondences and/or a large subse...
Liran Goshen, Ilan Shimshoni
FORTE
2009
14 years 7 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ICS
2010
Tsinghua U.
14 years 12 months ago
The auction: optimizing banks usage in Non-Uniform Cache Architectures
The growing influence of wire delay in cache design has meant that access latencies to last-level cache banks are no longer constant. Non-Uniform Cache Architectures (NUCAs) have ...
Javier Lira, Carlos Molina, Antonio Gonzále...
CVPR
2009
IEEE
16 years 4 months ago
Global Connectivity Potentials for Random Field Models
Markov random field (MRF, CRF) models are popular in computer vision. However, in order to be computationally tractable they are limited to incorporate only local interactions a...
Sebastian Nowozin, Christoph H. Lampert