A certified reduction strategy for homological image processing

Maria Poza, Cesar Dominguez, Jonathan Heras, Julio Rubio

    Research output: Contribution to journalArticle

    3 Citations (Scopus)

    Abstract

    The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this article, we describe a certified reduction strategy to deal with digital images, but one preserving their homological properties. We stress both the advantages of our approach (mainly, the formalization of the mathematics allowing us to verify the correctness of algorithms) and some limitations (related to the performance of the running systems inside proof assistants). The drawbacks are overcome using techniques that provide an integration of computation and deduction. Our driving application is a problem in bioinformatics, where the accuracy and reliability of computations are specially requested.

    Original languageEnglish
    Article number23
    JournalACM Transactions on Computational Logic
    Volume15
    Issue number3
    DOIs
    Publication statusPublished - 8 Jul 2014

    Fingerprint

    Digital Image
    Image Processing
    Image processing
    Computational Topology
    Algebraic topology
    Proof System
    Deduction
    Bioinformatics
    Formalization
    Correctness
    Topology
    Verify
    Strategy

    Cite this

    Poza, Maria ; Dominguez, Cesar ; Heras, Jonathan ; Rubio, Julio. / A certified reduction strategy for homological image processing. In: ACM Transactions on Computational Logic. 2014 ; Vol. 15, No. 3.
    @article{3158957cce0849629764c098bd001a5b,
    title = "A certified reduction strategy for homological image processing",
    abstract = "The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this article, we describe a certified reduction strategy to deal with digital images, but one preserving their homological properties. We stress both the advantages of our approach (mainly, the formalization of the mathematics allowing us to verify the correctness of algorithms) and some limitations (related to the performance of the running systems inside proof assistants). The drawbacks are overcome using techniques that provide an integration of computation and deduction. Our driving application is a problem in bioinformatics, where the accuracy and reliability of computations are specially requested.",
    author = "Maria Poza and Cesar Dominguez and Jonathan Heras and Julio Rubio",
    year = "2014",
    month = "7",
    day = "8",
    doi = "10.1145/2630789",
    language = "English",
    volume = "15",
    journal = "ACM Transactions on Computational Logic",
    issn = "1529-3785",
    publisher = "Association for Computing Machinery",
    number = "3",

    }

    A certified reduction strategy for homological image processing. / Poza, Maria; Dominguez, Cesar; Heras, Jonathan; Rubio, Julio.

    In: ACM Transactions on Computational Logic, Vol. 15, No. 3, 23, 08.07.2014.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - A certified reduction strategy for homological image processing

    AU - Poza, Maria

    AU - Dominguez, Cesar

    AU - Heras, Jonathan

    AU - Rubio, Julio

    PY - 2014/7/8

    Y1 - 2014/7/8

    N2 - The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this article, we describe a certified reduction strategy to deal with digital images, but one preserving their homological properties. We stress both the advantages of our approach (mainly, the formalization of the mathematics allowing us to verify the correctness of algorithms) and some limitations (related to the performance of the running systems inside proof assistants). The drawbacks are overcome using techniques that provide an integration of computation and deduction. Our driving application is a problem in bioinformatics, where the accuracy and reliability of computations are specially requested.

    AB - The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this article, we describe a certified reduction strategy to deal with digital images, but one preserving their homological properties. We stress both the advantages of our approach (mainly, the formalization of the mathematics allowing us to verify the correctness of algorithms) and some limitations (related to the performance of the running systems inside proof assistants). The drawbacks are overcome using techniques that provide an integration of computation and deduction. Our driving application is a problem in bioinformatics, where the accuracy and reliability of computations are specially requested.

    UR - http://www.scopus.com/inward/record.url?scp=84907581196&partnerID=8YFLogxK

    U2 - 10.1145/2630789

    DO - 10.1145/2630789

    M3 - Article

    VL - 15

    JO - ACM Transactions on Computational Logic

    JF - ACM Transactions on Computational Logic

    SN - 1529-3785

    IS - 3

    M1 - 23

    ER -