686 search results - page 87 / 138 » Nonmonotonic inference operations |
ISLPED
2010
ACM
13 years 10 months ago
2010
ACM
Accurately modeling server power consumption is critical in designing data center power provisioning infrastructure. However, to date, most research proposals have used average CP...
FSS
2007
13 years 10 months ago
2007
This article deals with a method used to describe and manage spatial knowledge. Each spatial datum is considered as an information element, whose location and value are independen...
FUIN
2007
13 years 10 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
IJAR
2007
13 years 10 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
IJNSEC
2007
13 years 9 months ago
2007
This paper reports a research work to address the problem of the large number of alerts generated by the detectors in an intrusion detection system. Some of these alerts are redun...