3333 search results - page 213 / 667 » Abstract Proof Search |
136
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we describe an application, PubCloud that uses tag clouds for the summarization of results from queries over the PubMed database of biomedical literature. PubCloud ...
125
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract— We demonstrate Product EntityCube, a product recommendation and navigation system. While the unprecedented scale of a product search portal enables to satisfy users wit...
125
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
176
click to vote
LION
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
129
Voted
ICCD
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— World data is increasing rapidly, doubling almost every three years[1][2]. To comprehend and use this data effectively, search and recognition (SR) applications will de...