3457 search results - page 8 / 692 » A Symbol Is Not a Symbol |
ISAAC
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
ECAI
1992
Springer
13 years 11 months ago
1992
Springer
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
ICANN
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
MVA
1994
13 years 9 months ago
1994
A hybrid (statistical/structural)approach is presented, for scale- and orientation-invariant recognition of multi-component cartographic symbols. A decision-tree classifier (DTC) ...