- -

Listar por autor "Navarro Marset, Rafael Andrés"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Navarro Marset, Rafael Andrés"

Ordenar por:Orden:Resultados:

  • Icon
    Modelos de redes neuronales para visión artificial desplegados en sistemas embebidos 
    Sierra Martinez, Raul (Universitat Politècnica de València, 2020-10-13)
    [ES] La mayoría de proyectos de visión artificial utilizan algoritmos tradicionales no relacionados con el aprendizaje automático. El problema surge cuando las imágenes de un mismo elemento a reconocer tienen mucha ...
  • thumb
    Proving Termination Properties with Muterm 
    Alarcón, Beatriz; Gutiérrez Gil, Raúl; Lucas Alba, Salvador; Navarro-Marset, Rafael (Springer-Verlag, 2010)
    [EN] MU-TERM is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost rewriting, termination of order-sorted ...
  • thumb
    Solving polynomial constraints for proving termination of rewriting 
    Navarro Marset, Rafael Andrés (Universitat Politècnica de València, 2011-11-28)
    A termination problem can be transformed into a set of polynomial constraints. Up to now, several approaches have been studied to deal with these constraints as constraint solving problems. In this thesis, we study in depth ...