RiuNet UPV Home
:
Browsing by Author

Search RiuNet

Browse

All of RiuNet

My Account

Login

RiuNet Help

Admin. UPV

Browsing by Author "Navarro Marset, Rafael Andrés"

Now showing items 1-2 of 2

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

Now showing items 1-2 of 2