5510 search results - page 53 / 1102 » Mathematics |
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
ICSR
2009
Springer
14 years 7 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
AIIA
2009
Springer
15 years 4 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...
MKM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...