8810 search results - page 183 / 1762 » Openness |
175
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This article describes the first public version of the satisfiability modulo theory (SMT) solver veriT. It is open-source, proof-producing, and complete for quantifier-fr...
157
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The problem of ethnicity identification from names has a variety of important applications, including biomedical research, demographic studies, and marketing. Here we report on th...
173
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Matching records that refer to the same entity across databases is becoming an increasingly important part of many data mining projects, as often data from multiple sources needs ...
