Sciweavers

1382 search results - page 242 / 277
» Formal Analysis of Online Algorithms
Sort
View
CVPR
2010
IEEE
15 years 10 months ago
Secrets of Optical Flow Estimation and Their Principles
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
Deqing Sun, Stefan Roth, Michael Black
FC
2005
Springer
83views Cryptology» more  FC 2005»
15 years 10 months ago
Secure Distributed Human Computation
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
Craig Gentry, Zulfikar Ramzan, Stuart G. Stubblebi...
GEOS
2005
Springer
15 years 10 months ago
Comparing Representations of Geographic Knowledge Expressed as Conceptual Graphs
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
Athanasios Karalopoulos, Margarita Kokla, Marinos ...
RE
2005
Springer
15 years 10 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
MM
2004
ACM
151views Multimedia» more  MM 2004»
15 years 9 months ago
Grouping web image search result
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
Xin-Jing Wang, Wei-Ying Ma, Qi-Cai He, Xing Li