21094 search results - page 3804 / 4219 » An experiment using DLV-K |
153
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Document retrieval systems conventionally use words as the basic unit of representation, a natural choice since words are primary carriers of semantic information. In this paper w...
182
click to vote
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
Retrieving sequential rich media content from modern commodity disks is a challenging task. As disk capacity increases, there is a need to increase the number of streams that are ...
213
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...
177
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
— Memory-intensive applications present unique challenges to an ASIC designer in terms of the choice of memory organization, memory size requirements, bandwidth and access latenc...
195
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...