1421 search results - page 123 / 285 » The First and Second Max-SAT Evaluations |
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
ESORICS
2009
Springer
14 years 10 months ago
2009
Springer
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We present results from a study examining how American Protestant Christians' faith affects their domestic life. There are two contributions of this work for the HCI communit...
KDD
2009
ACM
14 years 10 months ago
2009
ACM
Classification of time series has been attracting great interest over the past decade. Recent empirical evidence has strongly suggested that the simple nearest neighbor algorithm ...
KDD
2003
ACM
14 years 10 months ago
2003
ACM
Unexpected rules are interesting because they are either previously unknown or deviate from what prior user knowledge would suggest. In this paper, we study three important issues...