2152 search results - page 376 / 431 » A Comparative Study of 2QBF Algorithms |
148
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Using and extending a framework is a challenging task whose difficulty is exacerbated by the poor documentation that generally comes with the framework. Even in the presence of do...
150
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Comprehensive coverage of the public web is crucial to web search engines. Search engines use crawlers to retrieve pages and then discover new ones by extracting the pages' o...
273
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
132
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Procedures for collective inference make simultaneous statistical judgments about the same variables for a set of related data instances. For example, collective inference could b...
122
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Micro-indels are small insertion or deletion events (indels) that occur during genome evolution. The study of micro-indels is important, both in order to better understand the unde...