3457 search results - page 76 / 692 » A Symbol Is Not a Symbol |
AISC
2010
Springer
14 years 3 months ago
2010
Springer
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
ACCV
1998
Springer
14 years 2 months ago
1998
Springer
We present an object recognition system based on symbolic graphs with object corners as vertices and outlines as edges. Corners are determined in a robust way by a multiscale combi...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
ISSAC
2000
Springer
14 years 1 months ago
2000
Springer
A canal surface S, generated by a parametrized curve m(t), in R3 is the envelope of the set of spheres with radius r(t) centered at m(t). This concept generalizes the classical of...
AGI
2008
13 years 11 months ago
2008
We provide an overview of Vector Symbolic Architectures (VSA), a class of structured associative memory models that offers a number of desirable features for artificial general int...