- -

Añadidos recientemente

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

Departamento Sistemas Informáticos y Computación (DSIC): Enviados recientemente

  • 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 ...
  • thumb
    Static Correction of Maude Programs with Assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2018-04-12)
    In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
  • thumb
    I.G 
    Hernández-Orallo, José (Universitat Politècnica de València, 2018-04-12)
    This report summarises the key ideas for a simple concept of I.G. and its explanatory value for several areas.
  • thumb
    Designing an Affective Intelligent Agent on GenIA³ 
    Alfonso Espinosa, Bexy (Universitat Politècnica de València, 2017-03-06)
    GenIA³ is a General-purpose Intelligent Affective Agent Architecture, which can be committed with specific psychological theories to create the design of the final agent. Intelligent affective agents can be implemented by ...
  • thumb
    Conceptual Schema of the Human Genome (CSHG) 
    Pastor López, Oscar; Reyes Román, José Fabián; Valverde Giromé, Francisco (Universitat Politècnica de València, 2016-07-07)