Sciweavers

706 search results - page 94 / 142
» List Decoding: Algorithms and Applications
Sort
View
PPOPP
2006
ACM
14 years 1 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
MIR
2004
ACM
200views Multimedia» more  MIR 2004»
14 years 1 months ago
Effective browsing of web image search results
The rapid development of web image search engines has enabled users to search hundred million of images available on the Web. However, due to the unsatisfactory performance of cur...
Hao Liu, Xing Xie, Xiaoou Tang, Zhiwei Li, Wei-Yin...
CODES
2003
IEEE
14 years 1 months ago
A codesigned on-chip logic minimizer
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
Roman L. Lysecky, Frank Vahid
IBPRIA
2009
Springer
14 years 12 days ago
Match Selection in Batch Mosaicing Using Mutual Information
Abstract. Large area photo-mosaics are widely used in many different applications such as optical mapping, panorama creation and autonomous vehicle navigation. When the trajectory...
Armagan Elibol, Nuno Gracias, Rafael García
SIGMOD
1998
ACM
121views Database» more  SIGMOD 1998»
14 years 21 hour ago
New Sampling-Based Summary Statistics for Improving Approximate Query Answers
In large data recording and warehousing environments, it is often advantageous to provide fast, approximate answers to queries, whenever possible. Before DBMSs providing highly-ac...
Phillip B. Gibbons, Yossi Matias