2308 search results - page 17 / 462 » Representing Symbolic Reasoning |
CLA
2007
13 years 8 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image an...
CCIA
2005
Springer
14 years 28 days ago
2005
Springer
The explanation of the results is a key point of automatic problem solvers. CBR systems solve a new problem by assessing its similarity with already solved cases and they commonly ...
ICCBR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...