20 search results - page 1 / 4 » A Revisited Perspective on Symbolic Mathematical Computing a... |
AISC
2010
Springer
13 years 9 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...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
FECS
2006
13 years 5 months ago
2006
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
AIIA
2009
Springer
13 years 11 months ago
2009
Springer
This paper addresses the indexing and retrieval of mathematical symbols from digitized documents. The proposed approach exploits Shape Contexts (SC) to describe the shape of mathe...
AC
2005
Springer
13 years 4 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...