- -

Añadidos recientemente

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

Informes técnicos de investigación DSIC-ELP: Enviados recientemente

  • thumb
    A Probabilistic Framework for Non-Cheating Machine Teaching 
    Ferri Ramírez, César; Hernández Orallo, José; Telle, Jan Arne (2022-05-03)
    Over the past decades in the field of machine teaching, several restrictions have been introduced to avoid ‘cheating’, such as collusion-free or non-clashing teaching. However, these restrictions forbid several teaching ...
  • thumb
    Narrowing-based Optimization of Rewrite Theories 
    Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2020-06-08)
    Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...
  • 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.