11716 search results - page 37 / 2344 » Computable symbolic dynamics |
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
NFM
2011
13 years 4 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
CGO
2004
IEEE
14 years 1 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
GREC
2005
Springer
14 years 3 months ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...