3052 search results - page 361 / 611 » Engineers Don't Search |
BMCBI
2007
13 years 11 months ago
2007
Background: We present a probabilistic topic-based model for content similarity called pmra that underlies the related article search feature in PubMed. Whether or not a document ...
IRFC
2011
Springer
13 years 2 months ago
2011
Springer
Much progress has recently been made in assisting a user in the search process, be it Web search where the big search engines have now all incorporated more interactive features or...
DAC
2005
ACM
14 years 12 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...
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
Web search engines are facing formidable performance challenges as they need to process thousands of queries per second over billions of documents. To deal with this heavy workloa...