4 citations · 11 across the 4 of their papers we have counts for
5 papers
The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images
Ángela Casado-García, César Domínguez, Jónathan Heras +2
A correct localisation of tables in a document is instrumental for determining their structure and extracting their contents; therefore, table detection is a key step in table unde…
A certified reduction strategy for homological image processing
María Poza, César Domínguez, Jónathan Heras +1
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 reductio…
Computing in Coq with Infinite Algebraic Data Structures
César Domínguez, Julio Rubio
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibili…
Diagrammatic logic applied to a parameterization process
Cesar Dominguez, Dominique Duval
This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logi…
A parameterization process as a categorical construction
Dominique Duval, César Dominguez
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization proc…