2649 search results - page 275 / 530 » Argumentation for Decision Support |
213
click to vote
CSREAPSC
2006
15 years 8 months ago
2006
Abstract. The explosive evolution of pervasive computing environments presents several new challenges such as smart spaces, invisibility, localized scalability, and masking uneven ...
148
click to vote
DLOG
2004
15 years 8 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
181
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Data mining is the process of extracting implicit, previously unknown, and potentially useful information from data in databases. It is widely recognized as a useful tool for deci...
172
click to vote
VCIP
2003
15 years 8 months ago
2003
The paper addresses the problem of distinguishing between pornographic and non-pornographic photographs, for the design of semantic filters for the web. Both, decision forests of ...
153
click to vote
AAAI
1997
15 years 8 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...