- -

Listar por palabra clave "CLP"

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

Listar por palabra clave "CLP"

Ordenar por:Orden:Resultados:

  • thumb
    Concolic Testing in CLP 
    Mesnard, Fred; Payet, Etienne; Vidal, Germán (Cambridge University Press, 2020-09)
    [EN] Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. ...
  • thumb
    Image Captioning using pre-trained GPT-2 models 
    García Gilabert, Javier (Universitat Politècnica de València, 2022-09-06)
    [EN] The objective of Image captioning is to describe the content of an image in natural language. Due to the success of various deep learning architectures, this challenge that combines picture and language processing has ...
  • Icon
    Implantación de los reglamentos europeos REACH y CLP en una empresa multisectorial 
    Valor Pascual, Lirios (Universitat Politècnica de València, 2015-02-16)
    [ES] El proyecto consiste en la implantación de dos reglamentos europeos sobre productos químicos en Korott, S.L., una empresa que se dedica tanto a la fabricación de productos cosméticos, como de complementos nutricionales ...