Ponències/Comunicacions de congressos: Enviaments recents
Ara es mostren els items 1-12 de 1273
-
Polynomial calculus for MaxSAT
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Text en actes de congrés
Accés obertMaxSAT 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
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Text en actes de congrés
Accés obertIn 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
(Association for Computational Linguistics, 2023)
Text en actes de congrés
Accés obertTextual 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
(Association for Computing Machinery (ACM), 2023)
Text en actes de congrés
Accés obertSequence 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
(2024)
Comunicació de congrés
Accés obertFrailty 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
(Springer, 2023)
Text en actes de congrés
Accés restringit per política de l'editorialInvestigating 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
(Institute of Electrical and Electronics Engineers (IEEE), 2023)
Text en actes de congrés
Accés obertThis 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
(IOS Press, 2023-11-01)
Text en actes de congrés
Accés obertThe 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
(Springer, 2023)
Comunicació de congrés
Accés restringit per política de l'editorialTask-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
(Association for Computing Machinery (ACM), 2023)
Text en actes de congrés
Accés obertWe 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
(IOS Press, 2018)
Text en actes de congrés
Accés obertIn 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
(IOS Press, 2018)
Text en actes de congrés
Accés obertThe 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 ...