1076 search results - page 53 / 216 » Logical Languages for Data Mining |
113
Voted
KES
2010
Springer
15 years 2 months ago
2010
Springer
In an era that, searching the WWW for information becomes a tedious task, it is obvious that mainly search engines and other data mining mechanisms need to be enhanced with charact...
130
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
142
Voted
ACL
2008
15 years 5 months ago
2008
In this paper, we describe a system by which the multilingual characteristics of Wikipedia can be utilized to annotate a large corpus of text with Named Entity Recognition (NER) t...
248
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
123
Voted
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...