Page 1

Displaying 1 – 4 of 4

Showing per page

Weak solutions of a parabolic-elliptic type system for image inpainting

Zhengmeng Jin, Xiaoping Yang (2010)

ESAIM: Control, Optimisation and Calculus of Variations

In this paper we consider the initial boundary value problem of a parabolic-elliptic system for image inpainting, and establish the existence and uniqueness of weak solutions to the system in dimension two.

Web Interface and Collection for Mathematical Retrieval : WebMIaS and MREC

Líška, Martin, Sojka, Petr, Růžička, Michal, Mravec, Petr (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

We demonstrate searching of mathematical expressions in technical digital libraries on a MREC collection of 439,423 real scientific documents with more than 158 million mathematical formulae. Our solution—the WebMIaS system—allows the retrieval of mathematical expressions written in TeX or MathML. TeX queries are converted on-the-fly into tree representations of Presentation MathML, which is used for indexing. WebMIaS allows complex queries composed of plain text and mathematical formulae, using...

Workflow of Metadata Extraction from Retro-Born Digital Documents

Tkaczyk, Dominika, Bolikowski, Łukasz (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

In this work-in-progress report we propose a workflow for metadata extraction from articles in a digital form. We decompose the problem into clearly defined sub-tasks and outline possible implementations of the sub-tasks. We report the progress of implementation and tests, and state future work.

Currently displaying 1 – 4 of 4

Page 1