- -

Listar por palabra clave "Inferència"

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

Listar por palabra clave "Inferència"

Ordenar por:Orden:Resultados:

  • thumb
    Abstract Contract Synthesis and Verification in the Symbolic K Framework 
    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)
    [EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
  • Icon
    Evaluación de aceleradores de inferencia para Deep Learning (Coral TPU Edge) 
    Zarco Álvarez, Juan (Universitat Politècnica de València, 2021-10-06)
    [ES] En los últimos tiempos, hemos asistido a un resurgimiento de las redes neuronales para la resolución de problemas en múltiples ámbitos. Para un problema dado, en primer lugar se debe realizar el entrenamiento de la ...
  • thumb
    Suport Eficient de Processos d’Inferència en Plataforme Heterogènies 
    Iznardo Ruiz, Alejandro (Universitat Politècnica de València, 2021-09-20)
    [CA] La intel·ligència artificial i les seues variants estan evolucionant ràpidament i millorant molts aspectes de la vida humana, tant en aplicacions industrials com en usos quotidians. Per aquest motiu, molts investigadors ...