12257 search results - page 2071 / 2452 » Analysis of Algorithms |
157
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Despite the desirable information contained in complex pedigree datasets, analysis methods struggle to efficiently process these datasets. The attractiveness of pedigree ...
137
click to vote
PODC
2009
ACM
16 years 5 months ago
2009
ACM
Due to their simplicity and effectiveness, gossip-based membership protocols have become the method of choice for maintaining partial membership in large P2P systems. A variety of...
145
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
170
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Search logs, which contain rich and up-to-date information about users' needs and preferences, have become a critical data source for search engines. Recently, more and more ...
153
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Extracting entities (such as people, movies) from documents and identifying the categories (such as painter, writer) they belong to enable structured querying and data analysis ov...