1005 search results - page 142 / 201 » Patterns for Refinement Automation |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
CEAS
2004
Springer
14 years 2 months ago
2004
Springer
End users are often unaware that their systems have been compromised and are being used to send bulk unsolicited email (spam). We show how automated processing of the email logs re...
IJCNLP
2004
Springer
14 years 2 months ago
2004
Springer
Automatic extraction of human opinions from Web documents has been receiving increasing interest. To automate the process of opinion extraction, having a collection of evaluative ...
KR
2004
Springer
14 years 2 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...