Zobrazeno 1 - 10 of 107 pro vyhledávání: '"Poza, María"'
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
4
Report
A certified reduction strategy for homological image processing
Autor: Poza, María, Domínguez, César, Heras, Jónathan, Rubio, Julio
Publikováno v: ACM Transactions on Computational Logic, Volume 15 Issue 3, Article No. 23 2014
The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this paper, we describe a certified reduction strategy to deal with digital images, but preserving their homologic
Externí odkaz: http://arxiv.org/abs/1306.0806
Zobrazit plný text záznamu
5
Report
Verifying an algorithm computing Discrete Vector Fields for digital imaging
Autor: Heras, Jónathan, Poza, María, Rubio, Julio
Publikováno v: Calculemus 2012, Lecture Notes in Computer Science, 7362, pages 215--229, 2012
In this paper, we present a formalization of an algorithm to construct admissible discrete vector fields in the Coq theorem prover taking advantage of the SSReflect library. Discrete vector fields are a tool which has been welcomed in the homological
Externí odkaz: http://arxiv.org/abs/1207.3315
Zobrazit plný text záznamu
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje