1672 search results - page 28 / 335 » Interactive Mathematical Documents |
IADIS
2004
15 years 3 months ago
2004
In this paper, we propose an open framework for teachers and lecturers in science, to help them write their pedagogical documents with both static textual parts, and interactive a...
116
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
With an aim to high-level understanding of the mathematical contents in a document image the requirement of math-zone extraction and recognition technique is obvious. In this pape...
116
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper presents a new adaptive approach for document image binarization. The proposed method is mainly based on the combination of several stateof-the-art binarization methodo...
101
click to vote
HYBRID
1992
Springer
15 years 5 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...