2308 search results - page 13 / 462 » Representing Symbolic Reasoning |
LICS
2006
IEEE
14 years 1 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...
CAI
2006
Springer
13 years 7 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...
ESANN
2001
13 years 8 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...
LICS
1992
IEEE
13 years 11 months ago
1992
IEEE
DLOG
2009
13 years 8 months ago
2009