- -

Listar por Patrocinador "Instituto Nacional de Ciberseguridad"

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

Listar por Patrocinador "Instituto Nacional de Ciberseguridad"

Ordenar por:Orden:Resultados:

  • thumb
    Automatically Proving and Disproving Feasibility Conditions 
    Gutiérrez Gil, Raúl; Lucas Alba, Salvador (Springer Nature, 2020-07-06)
    [EN] In the realm of term rewriting, given terms s and t, a reachability condition s>>t is called feasible if there is a substitution O such that O(s) rewrites into O(t) in zero or more steps; otherwise, it is ...
  • thumb
    Does AI Qualify for the Job?: A Bidirectional Model Mapping Labour and AI Intensities 
    Martínez-Plumed, Fernando; Tolan, Songül; Pesole, Annarosa; Hernández-Orallo, José; Fernández-Macías, Enrique; Gómez, Emilia (Association for Computing Machinery (ACM), 2020-02-08)
    [EN] In this paper we present a setting for examining the relation between the distribution of research intensity in AI research and the relevance for a range of work tasks (and occupations) in current and simulated ...
  • thumb
    Dual Indicators to Analyse AI Benchmarks: Difficulty, Discrimination, Ability and Generality 
    Martínez-Plumed, Fernando; Hernández-Orallo, José (Institute of Electrical and Electronics Engineers (IEEE), 2020-06)
    [EN] With the purpose of better analyzing the result of artificial intelligence (AI) benchmarks, we present two indicators on the side of the AI problems, difficulty and discrimination, and two indicators on the side of ...
  • thumb
    Fusión temprana de descriptores extraídos de mapas de prominencia multi-nivel para clasificar imágenes 
    Fidalgo, E.; Alegre, E.; Fernández-Robles, L.; González-Castro, V. (Universitat Politècnica de València, 2019-06-12)
    [EN] In this paper, we propose a method that improves the classification of images. Considering saliency maps as if they were topographic maps and filtering the characteristics of the image’s background, the Bag of VisualWords ...
  • thumb
    Identifying the Machine Learning Family from Black-Box Models 
    Fabra-Boluda, Raúl; Ferri Ramírez, César; Hernández-Orallo, José; Martínez-Plumed, Fernando; Ramírez Quintana, María José (Springer-Verlag, 2018-09-27)
    [EN] We address the novel question of determining which kind of machine learning model is behind the predictions when we interact with a black-box model. This may allow us to identify families of techniques whose models ...
  • thumb
    infChecker. A Tool for Checking Infeasibility 
    Gutiérrez Gil, Raúl; Lucas Alba, Salvador (Universidade de Brasilia, 2019-06-28)
    [EN] Given a Conditional Term Rewriting System (CTRS) R and terms s and t, we say that the reachability condition s ->* t is *feasible* if there is a substitution \sigma instantiating the variables in s and t such that ...
  • thumb
    Item response theory in AI: Analysing machine learning classifiers at the instance level 
    Martínez-Plumed, Fernando; Prudencio, Ricardo; Martínez-Usó, Adolfo; Hernández-Orallo, José (Elsevier, 2019-06)
    [EN] AI systems are usually evaluated on a range of problem instances and compared to other AI systems that use different strategies. These instances are rarely independent. Machine learning, and supervised learning in ...
  • thumb
    MU-TERM: Verify Termination Properties Automatically (System Description) 
    Gutiérrez Gil, Raúl; Lucas Alba, Salvador (Springer Nature, 2020-07-06)
    [EN] We report on the new version of mu-term, a tool for proving termination properties of variants of rewrite systems, including conditional, context-sensitive, equational, and order-sorted rewrite systems. We follow a ...
  • thumb
    Variant-Based Decidable Satisfiability in Initial Algebras with Predicates 
    Gutiérrez Gil, Raúl; Meseguer, José (Springer-Verlag, 2018)
    [EN] Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for ...