2308 search results - page 13 / 462 » Representing Symbolic Reasoning |
104
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
113
Voted
CAI
2006
Springer
15 years 1 months ago
2006
Springer
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
109
click to vote
ESANN
2001
15 years 3 months ago
2001
Abstract. An approach to symbolic contour extraction will be described that consists of three stages: enhancement, detection, and extraction of edges and corners. Edges and corners...
92
Voted
LICS
1992
IEEE
15 years 6 months ago
1992
IEEE
DLOG
2009
15 years 2 months ago
2009