14078 search results - page 2063 / 2816 » Design and Analysis of Computer Algorithms |
211
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
While we expect to discover knowledge in the texts available on the Web, such discovery usually requires many complex analysis steps, most of which require different text handling...
216
click to vote
CAV
2009
Springer
16 years 8 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...
241
click to vote
KDD
2009
ACM
16 years 8 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 ...
159
click to vote
KDD
2004
ACM
16 years 8 months ago
2004
ACM
Automatically segmenting unstructured text strings into structured records is necessary for importing the information contained in legacy sources and text collections into a data ...
288
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Data warehousing systems integrate information from operational data sources into a central repository to enable analysis and mining of the integrated information. During the integ...