Sciweavers

1127 search results - page 159 / 226
» Value Compression for Efficient Computation
Sort
View
ICLP
2009
Springer
15 years 10 months ago
Attributed Data for CHR Indexing
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
Beata Sarna-Starosta, Tom Schrijvers
VLSID
2005
IEEE
123views VLSI» more  VLSID 2005»
15 years 10 months ago
Variance Reduction in Monte Carlo Capacitance Extraction
In this article we address efficiency issues in implementation of Monte Carlo algorithm for 3D capacitance extraction. Error bounds in statistical capacitance estimation are discus...
Shabbir H. Batterywala, Madhav P. Desai
SIGMOD
2005
ACM
103views Database» more  SIGMOD 2005»
15 years 10 months ago
Verifying Completeness of Relational Query Results in Data Publishing
In data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the publisher may be untrusted or susceptible to attacks, it could produ...
HweeHwa Pang, Arpit Jain, Krithi Ramamritham, Kian...
HIPEAC
2010
Springer
15 years 6 months ago
Performance and Power Aware CMP Thread Allocation Modeling
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
Yaniv Ben-Itzhak, Israel Cidon, Avinoam Kolodny
ICDAR
2009
IEEE
15 years 4 months ago
A Laplacian Method for Video Text Detection
In this paper, we propose an efficient text detection method based on the Laplacian operator. The maximum gradient difference value is computed for each pixel in the Laplacian-fil...
Trung Quy Phan, Palaiahnakote Shivakumara, Chew Li...