Search Results for author: Jónathan Heras

Found 10 papers, 3 papers with code

FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques

1 code implementation IEEE 2020 Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual

In this work, we present FrImCla, an open-source and free tool that simplifies the construction of robust models for image classification from a dataset of images, and only using the computer CPU.

General Classification Image Classification +2

The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images

1 code implementation12 Dec 2019 Ángela Casado-García, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual

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 understanding.

Object Detection Table Detection

Neuron detection in stack images: a persistent homology interpretation

no code implementations15 Sep 2015 Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales

Automation and reliability are the two main requirements when computers are applied in Life Sciences.

SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons

no code implementations28 Jul 2015 Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio

The quantification of synapses is instrumental to measure the evolution of synaptic densities of neurons under the effect of some physiological conditions, neuronal diseases or even drug treatments.

Defining and computing persistent Z-homology in the general case

1 code implementation26 Mar 2014 Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert

By general case we mean methods able to process simplicial sets and chain complexes not of finite type.

Computational Geometry Symbolic Computation Algebraic Topology

Verifying a platform for digital imaging: a multi-tool strategy

no code implementations5 Mar 2013 Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz

Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images.


ML4PG in Computer Algebra verification

no code implementations26 Feb 2013 Jónathan Heras, Ekaterina Komendantskaya

ML4PG is a machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development.

Recycling Proof Patterns in Coq: Case Studies

no code implementations25 Jan 2013 Jónathan Heras, Ekaterina Komendantskaya

Development of Interactive Theorem Provers has led to the creation of big libraries and varied infrastructures for formal proofs.

Cannot find the paper you are looking for? You can Submit a new open access paper.