5889 search results - page 994 / 1178 » Graph Layout Problems |
116
click to vote
DAC
2005
ACM
16 years 3 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
92
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Accessing an ever increasing number of emails, possibly on small mobile devices, has become a major problem for many users. Email summarization is a promising way to solve this pr...
116
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Theoretical analysis of the Web graph is often used to improve the efficiency of search engines. The PageRank algorithm, proposed by [5], is used by the Google search engine [4] t...
116
Voted
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
Molecular interaction databases can be used to study the evolution of molecular pathways across species. Querying such pathways is a challenging computational problem, and recent e...
111
Voted
WISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper proposes to exploit content and usage information to rearrange an inverted index for a full-text IR system. The idea is to merge the entries of two frequently ...