Search
Now showing items 31-40 of 65
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 ...
Using score distributions to compare statistical significance tests for information retrieval evaluation
(Willey, 2019-01-11)
[Abstract] Statistical significance tests can provide evidence that the observed difference in performance between two methods is not due to chance. In Information Retrieval, some studies have examined the validity and ...
Testing the tests: simulation of rankings to compare statistical significance tests in information retrieval evaluation
(Association for Computing Machinery, 2021-04)
[Abstract]: Null Hypothesis Significance Testing (NHST) has been recurrently employed as the reference framework to assess the difference in performance between Information Retrieval (IR) systems. IR practitioners customarily ...
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 ...
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 ...
Linear-Time Temporal Answer Set Programming
(Cambridge University Press, 2023)
[Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs ...
Syntactic ASP forgetting with forks
(Elsevier, 2024-01)
[Abstract]: Answer Set Programming (ASP) constitutes nowadays one of the most successful paradigms for practical Knowledge Representation and declarative problem solving. The formal analysis of ASP programs is essential ...
Forgetting Auxiliary Atoms in Forks
(Elsevier Ltd, 2019)
[Abstract]: In this work we tackle the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. ...
Protein structure prediction with energy minimization and deep learning approaches
(Springer Science and Business Media B.V., 2023-12)
[Abstract]: In this paper we discuss the advantages and problems of two alternatives for ab initio protein structure prediction. On one hand, recent approaches based on deep learning, which have significantly improved ...
PsyProf: A Platform for Assisted Screening of Depression in Social Media
(Springer Science and Business Media Deutschland GmbH, 2023-03)
[Abstract]: Depression is one of the most prevalent mental disorders. For its effective treatment, patients need a quick and accurate diagnosis. Mental health professionals use self-report questionnaires to serve that ...
