Listar por Grupos de Investigación "Information Retrieval Lab (IRlab)"
Mostrando ítems 1-20 de 58
-
A Polynomial Reduction of Forks Into Logic Programs
(Elsevier, 2022)[Abstract] In this research note we present additional results for an earlier published paper [1]. There, we studied the problem of projective strong equivalence (PSE) of logic programs, that is, checking whether two logic ... -
A rule-based system for explainable donor-patient matching in liver transplantation
(Open Publishing Association, 2019-09)[Abstract]: In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. ... -
A System for Explainable Answer Set Programming
(Open Publishing Association, 2020-09-19)[Abstract] We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of ... -
Accelerating 3D printing of pharmaceutical products using machine learning
(Elsevier, 2022)[Abstract] Three-dimensional printing (3DP) has seen growing interest within the healthcare industry for its ability to fabricate personalized medicines and medical devices. However, it may be burdened by the lengthy ... -
ALBAYZIN 2018 spoken term detection evaluation: a multi-domain international evaluation in Spanish
(SpringerOpen, 2019-09-02)[Abstract] Search on speech (SoS) is a challenging area due to the huge amount of information stored in audio and video repositories. Spoken term detection (STD) is an SoS-related task aiming to retrieve data from a speech ... -
ALBAYZIN Query-by-example Spoken Term Detection 2016 evaluation
(SpringerOpen & European Association for Signal Processing, 2018)[Abstract]: Query-by-example Spoken Term Detection (QbE STD) aims to retrieve data from a speech repository given an acoustic (spoken) query containing the term of interest as the input. This paper presents the systems ... -
aspBEEF: Explaining Predictions Through Optimal Clustering
(MDPI AG, 2020-08-28)[Abstract] In this paper we introduce aspBEEF, a tool for generating explanations for the outcome of an arbitrary machine learning classifier. This is done using Grover’s et al. framework known as Balanced English ... -
Automatic depression score estimation with word embedding models
(Elsevier, 2022)[Abstract]: Depression is one of the most common mental health illnesses. The biggest obstacle lies in an efficient and early detection of the disorder. Self-report questionnaires are the instruments used by medical experts ... -
Building Cultural Heritage Reference Collections from Social Media through Pooling Strategies: The Case of 2020’s Tensions Over Race and Heritage
(2021)[Abstract] Social networks constitute a valuable source for documenting heritage constitution processes or obtaining a real-time snapshot of a cultural heritage research topic. Many heritage researchers use social networks ... -
Building High-Quality Datasets for Information Retrieval Evaluation at a Reduced Cost
(M D P I AG, 2019-08-01)[Abstract] Information Retrieval is not any more exclusively about document ranking. Continuously new tasks are proposed on this and sibling fields. With this proliferation of tasks, it becomes crucial to have a cheap way ... -
Business failure prediction models with high and stable predictive power over time using genetic programming
(Springer, 2024)[Abstract]: This study focuses on the deterioration of the predictive power and the analysis of the predictive stability of business failure prediction models, an aspect not sufficiently analysed in previous research. ... -
Classification of empty lattice 4-simplices of width larger than 2
(Elsevier B.V., 2017)[Abstract]: Combining an upper bound on the volume of empty lattice 4-simplices of large width with a computer enumeration we prove the following conjecture of Haase and Ziegler (2000): Except for 179 classes, of determinant ... -
Classification of empty lattice 4-simplices of width larger than two
(American Mathematical Society, 2019)[Abstract]: Rd. It is called empty if it contains no lattice point apart of its d + 1 vertices. The classification of empty 3-simplices is known since 1964 (White), based on the fact that they all have width one. But for ... -
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
(MDPI, 2022)[Abstract] Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics ... -
Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends
(Elsevier, 2023-12)[Abstract]: Deep Learning (DL), a groundbreaking branch of Machine Learning (ML), has emerged as a driving force in both theoretical and applied Artificial Intelligence (AI). DL algorithms, rooted in complex and non-linear ... -
Delving into the Depths: Evaluating Depression Severity through BDI-biased Summaries
(Association for Computational Linguistics, 2024-03)[Abstract]: Depression is a global concern suffered by millions of people, significantly impacting their thoughts and behavior. Over the years, heightened awareness, spurred by health campaigns and other initiatives, has ... -
Designing an Open Source Virtual Assistant
(MDPI AG, 2020-08-21)[Abstract] A chatbot is a type of agent that allows people to interact with an information repository using natural language. Nowadays, chatbots have been incorporated in the form of conversational assistants on the most ... -
Diagnóstico de visibilidad en carreteras con nubes de puntos obtenidas mediante sistemas LiDAR
(PTC, 2017)[Resumen]: La metodología presentada se ha probado en ocho casos de estudio; todos ellos correspondientes a zonas de carretera en Galicia, una región en el sudoeste de España, incluyendo un par de casos en entornos urbanos ... -
Editor's note
(Universidad Internacional de la Rioja, 2021)[Abstract]: Artificial Intelligence (AI) has become nowadays one of the main relevant technologies that is driven us to a new revolution, a change in society, just as well as other human inventions, such as navigation, ... -
Equilibrium graphs
(Springer, 2019)[Abstract]: In this paper we present an extension of Peirce’s existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives ...
