1128 search results - page 78 / 226 » Classical Natural Deduction |
NLDB
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...
ACSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
AI
2010
Springer
14 years 2 months ago
2010
Springer
Many classification techniques used for identifying spam emails, treat spam filtering as a binary classification problem. That is, the incoming email is either spam or non-spam....
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
AI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Two novel Natural Language Processing (NLP) classification techniques are applied to the analysis of corporate annual reports in the task of financial forecasting. The ...