Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DISI-10-049
Awareness Requirements for Adaptive Systems
2010, Note: The contents of this report were submitted for publication at the 33rd International Conference on Software Engineering - ICSE 2011
Keywords: requirements engineering, modeling, self-adaptive systems, awareness, feedback loops, monitoring

Abstract: Recently, there has been a growing interest in self-adaptive systems. Roadmap papers in this area... See more
Technical Reports - DISI-10-051
ResEval: A Mashup Platform for Research Evaluation
2010
Keywords: mashups, research evaluation, bibliometrics

Abstract: Bibliometrics has changed out the way the research evaluation conducted, and it is widely used to... See more
Technical Reports - DISI-10-048
Robustness and Statistical Significance of Pam-like Matrices for Cognate Identification
2010
Keywords: Cognate identification, substitution matrices, string similarity measures

Abstract: This paper tests the influence of the training dataset dimension on a recently proposed orthograp... See more
Technical Reports - DISI-10-052
The Effect of History on Modeling Systems’ Performance: The Problem of the Demanding Lord
2010
Keywords: concept drift; user modeling; adaptive learning

Abstract: In several concept attainment systems, ranging from recommendation systems to information filteri... See more
Technical Reports - DISI-10-054
String Similarity Measures and Pam-like Matrices for Cognate Identification
2010
Keywords: Cognate identification, substitution matrices, string similarity measures

Abstract: We present a new automatic learning system for cognate identification. We design a linguistic-ins... See more
Technical Reports - DISI-10-057
Automated Parameter Configuration for an SMT Solver
2010, Note: Degree thesis.

Abstract: In this thesis, we use an Automatic Configuration Framework (implemented in ParamILS) to find the... See more
Technical Reports - DISI-10-058
Linguistic Phylogenetic Inference by PAM-like Matrices
2010
Keywords: Phylogenetic inference, distance-based methods, PAM-like matrices

Abstract: We apply to the task of linguistic phylogenetic inference a successful cognate identification lea... See more
Technical Reports - DISI-10-056
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic
2010

Abstract: In this thesis we present a solution to the interpolation problem of LA(Z) based on interpolant g... See more
Technical Reports - DISI-10-036
The Social Computer: Combining Machine and Human Computation
2010

Abstract: The social computer is a future computational system that harnesses the innate problem solving, a... See more
Technical Reports - DISI-10-034
Security Trend Analysis with CVE Topic Models
2010
Keywords: security; trends; machine learning

Abstract: We study the vulnerability reports in the Common Vulnerability and Exposures (CVE) database by us... See more