169 search results - page 15 / 34 » Last Conflict Based Reasoning |
AICOM
2004
14 years 10 months ago
2004
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...
103
click to vote
TPLP
2002
14 years 10 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
JMIV
2007
14 years 10 months ago
2007
High-quality image inpainting methods based on nonlinear higher-order partial differential equations have been developed in the last few years. These methods are iterative by natur...
128
click to vote
ICMCS
2005
IEEE
15 years 4 months ago
2005
IEEE
Kernel based methods such as Support Vector Machine (SVM) have provided successful tools for solving many recognition problems. One of the reason of this success is the use of ker...
DAGSTUHL
1998
14 years 11 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...