1420 search results - page 186 / 284 » Multi-point Constructive Search |
182
click to vote
ISPD
2012
ACM
14 years 16 days ago
2012
ACM
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
183
click to vote
SIGIR
2012
ACM
13 years 7 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
148
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...
145
click to vote
MICS
2010
15 years 3 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
131
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Breaking news often contains timely definitions and descriptions of current terms, organizations and personalities. We utilize such web sources to construct definitions for such t...