Ara es mostren els items 1-12 de 1273

    • Polynomial calculus for MaxSAT 

      Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
      Text en actes de congrés
      Accés obert
      MaxSAT is the problem of finding an assignment satisfying the maximum number of clauses in a CNF formula. We consider a natural generalization of this problem to generic sets of polynomials and propose a weighted version ...
    • Learning shorter redundant clauses in SDCL using MaxSAT 

      Oliveras Llunell, Albert; Li, Chunxiao; Wu, Darryl; Chung, Jonathan; Ganesh, Vijay (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
      Text en actes de congrés
      Accés obert
      In this paper we present the design and implementation of a Satisfaction-Driven Clause Learning (SDCL) SAT solver, MapleSDCL, which uses a MaxSAT-based technique that enables it to learn shorter, and hence better, redundant ...
    • Analyzing text representations by measuring task alignment 

      González Gutiérrez, César; Primadhanty, Audi; Cazzaro, Francesco; Quattoni, Ariadna Julieta (Association for Computational Linguistics, 2023)
      Text en actes de congrés
      Accés obert
      Textual representations based on pre-trained language models are key, especially in few-shot learning scenarios. What makes a representation good for text classification? Is it due to the geometric properties of the space ...
    • GMX: Instruction set extensions for fast, scalable, and efficient genome sequence alignment 

      Doblas Font, Max; Lostes Cazorla, Oscar; Aguado Puig, Quim; Cebry, Nicholas; Fontova Muste, Pau; Batten, Christopher; Marco Sola, Santiago; Moretó Planas, Miquel (Association for Computing Machinery (ACM), 2023)
      Text en actes de congrés
      Accés obert
      Sequence alignment remains a fundamental problem in computer science with practical applications ranging from pattern matching to computational biology. The ever-increasing volumes of genomic data produced by modern DNA ...
    • Introducing social robots to assess frailty in older adults 

      Civit Bertran, Aniol; Andriella, Antonio; Barrué Subirana, Cristian; Antonio, Maite; Boqué, Concepción; Alenyà Ribas, Guillem (2024)
      Comunicació de congrés
      Accés obert
      Frailty is a crucial indicator in determining the well-being of older adults in terms of their health. With the growing number of elderly people, the demand for geriatricians is increasing, which means that they have less ...
    • The K-Robinson Foulds measures for labeled trees 

      Khayatian, Elahe; Valiente Feruglio, Gabriel Alejandro; Zhang, Louxin (Springer, 2023)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Investigating the mutational history of tumor cells is important for understanding the underlying mechanisms of cancer and its evolution. Now that the evolution of tumor cells is modeled using labeled trees, researchers ...
    • Evolution of the participation of women in university computer science studies in Spain and in Europe 

      Nebot Castells, M. Àngela; Múgica Álvarez, Francisco (Institute of Electrical and Electronics Engineers (IEEE), 2023)
      Text en actes de congrés
      Accés obert
      This paper presents a comprehensive examination of the current state of underrepresentation of women in computer science (CS) degrees in Spain. It offers an overview of the situation across autonomous communities in Spain, ...
    • Applying generative models and transfer learning to physiological data classification 

      Núñez Rodríguez, José Fernando; Arjona Martínez, Jamie; Tormos Llorente, Adrián; Garcia Gasulla, Dario; Béjar Alonso, Javier (IOS Press, 2023-11-01)
      Text en actes de congrés
      Accés obert
      The scarcity and imbalance of datasets for training deep learning models in a specific task is a common problem. This is especially true in the physiological domain where many applications use complex data collection ...
    • Adaptive task-oriented chatbots using feature-based knowledge bases 

      Campàs Gené, Carla; Motger de la Encarnación, Joaquim; Franch Gutiérrez, Javier; Marco Gómez, Jordi (Springer, 2023)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      Task-oriented chatbots relying on a knowledge base for domain-specific content exploitation have been largely addressed in research and industry applications. Despite this, multiple challenges remain to be fully conquered, ...
    • On the consistency of circuit lower bounds for non-deterministic time 

      Atserias, Albert; Buss, Sam; Müller, Moritz (Association for Computing Machinery (ACM), 2023)
      Text en actes de congrés
      Accés obert
      We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory ‍V20 is consistent with the conjecture ...
    • On the pertinence of social practices for social robotics 

      Clodic, Aurélie; Vázquez Salceda, Javier; Dignum, Frank; Mascarenhas, Samuel; Dignum, Virginia; Augello, Agnese; Gentile, Manuel; Alami, Rachid (IOS Press, 2018)
      Text en actes de congrés
      Accés obert
      In the area of consumer robots that need to have rich social interactions with humans, one of the challenges is the complexity of computing the appropriate interactions in a cognitive, social and physical context. We propose ...
    • Design for values for social robot architectures 

      Dignum, Virginia; Dignum, Frank; Vázquez Salceda, Javier; Clodic, Aurélie; Gentile, Manuel; Mascarenhas, Samuel; Augello, Agnese (IOS Press, 2018)
      Text en actes de congrés
      Accés obert
      The integration of social robots in human societies requires that they are capable to take decisions that may affect the lives of people around them. In order to ensure that these robots will behave according to shared ...