8810 search results - page 183 / 1762 » Openness |
136
Voted
CADE
2009
Springer
16 years 4 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...
81
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
115
Voted
KDD
2009
ACM
16 years 4 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...
143
Voted
KDD
2008
ACM
16 years 4 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 ...
208
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
