3446 search results - page 180 / 690 » A Reasoning Algorithm for pD* |
151
click to vote
DCAI
2008
15 years 6 months ago
2008
. In this paper, a forecasting system is presented. It predicts the presence of oil slicks in a certain area of the open sea after an oil spill using Case-Based Reasoning methodolo...
115
click to vote
OWLED
2008
15 years 5 months ago
2008
Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In ...
141
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- Presently Face recognition solution is operating based on PC, and this delays its commercialization comparing other biometric solutions. Even though embedded face recognition sol...
145
click to vote
WSCG
2000
15 years 5 months ago
2000
Image filtering is often applied as a post-process to Monte Carlo generated pictures, in order to reduce noise. In this paper we present an algorithm based on density estimation t...
151
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...