2086 search results - page 24 / 418 » Mathematical Theory Exploration |
ESANN
2003
13 years 10 months ago
2003
In this tutorial paper about mathematical aspects of neural networks, we will focus on two directions: on the one hand, we will motivate standard mathematical questions and well st...
JAPLL
2006
13 years 8 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
ENTCS
2008
13 years 8 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
GIAE
2004
Springer
14 years 2 months ago
2004
Springer
This paper surveys the new, algorithmic theory of moving frames developed by the author and M. Fels. Applications in geometry, computer vision, classical invariant theory, the cal...
ICIP
1995
IEEE
14 years 10 months ago
1995
IEEE
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...