2989 search results - page 384 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
141
Voted
PAMI
2008
15 years 2 months ago
2008
This paper introduces three new contributions to the problems of image classification and image search. First, we propose a new image patch quantization algorithm. Other competitiv...
148
Voted
AAAI
1996
15 years 4 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
110
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
143
Voted
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
127
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...