6926 search results - page 1163 / 1386 » A More Effective CEFF |
178
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
163
click to vote
CEAS
2007
Springer
16 years 25 days ago
2007
Springer
Email protocols were designed to be flexible and forgiving, designed in a day when Internet usage was a cooperative thing. A side effect of that is that they were not designed to ...
163
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
156
click to vote
CIS
2007
Springer
16 years 24 days ago
2007
Springer
—Real-world data mining deals with noisy information sources where data collection inaccuracy, device limitations, data transmission and discretization errors, or man-made pertur...
175
click to vote
COLT
2007
Springer
16 years 24 days ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...