Publications of the Faculty of Computer Science
Browse by
Collections in this community
-
Editorship - Computer Science
Journal issues or miscellanies edited by researchers of the Free University of Bozen-Bolzano -
Grey Literature - Computer Science
Working Papers, Reports etc. -
Other - Computer Science
Multimedia, Software, Databases, Websites etc.
Recent Submissions
-
Una semantica cognitiva per linguaggi predicativi
(2016)We propose and discuss a formal semantics for predicative languages in terms of cognitively meaningful structures, that is, in terms of the framework of conceptual spaces introduced by Gärdenfors. The motivation of this ... -
Personality-Based Active Learning for Collaborative Filtering Recommender Systems
(Springer, 2013)Recommender systems (RSs) suffer from the cold-start or new user/item problem, i.e., the impossibility to provide a new user with accurate recommendations or to recommend new items. Active learning (AL) addresses this ... -
Are software startups applying agile practices? The state of the practice from a large survey
(Springer Verlag, 2017)Software startups operate under various uncertainties and the demand on their ability to deal with change is high. Agile methods are considered a suitable and viable development approach for them. However, the competing ... -
IUI17 Companion-Workshop Summary for HUMANIZE'17
(ACM Press, 2017)The first workshop on Theory-Informed User Modeling for Tailoring and Personalizing Interfaces (HUMANIZE) took place in conjunction with the 22nd annual meeting of the intelligent user interfaces (IUI) community in Limassol, ... -
Combining long-Term & discussion-generated preferences in group recommendations
(Association for Computing Machinery, Inc, 2017)In this abstract we discuss how long-Term and discussion-generated preferences can be appropriately combined in supporting group decision making. We measure the quality of a group recommendation model by varying the ... -
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case)
(Springer, 2017)In this paper, we study the conditions under which existence of interpolants (for quantifier-free formulae) is modular, in the sense that it can be transferred from two first-order theories T1, T2 to their combination T1∪T2. ... -
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases
(Springer, 2017)The integrated management of business processes and master data is being increasingly considered as a fundamental problem, by both the academia and the industry. In this position paper, we focus on the foundations of the ... -
Non-normal modalities in variants of linear logic
(Taylor and Francis Ltd., 2015)This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent ... -
Single-peakedness and semantic dimensions of preferences
(OXFORD UNIV PRESS, 2016)Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails ... -
Games for Query Inseparability of Description Logic Knowledge Bases
(2016)We consider conjunctive query inseparability of description logic knowledge bases with respect to a given signature - a fundamental problem in knowledge base versioning, module extraction, forgetting and knowledge exchange. ... -
A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability Model
(2017)The business environment changes rapidly and needs to adapt to the enterprise business systems must be considered for new types of requirements to accept changes in the business strategies and processes. This raises new ... -
Visual Analysis of Recommendation Performance
(ACM, 2017)Rrecsys is a novel library in R for developing and assessing recommendation algorithms. In this demo, we extend rrecsys with functions for visual analytics of recommendation performance, that is one of the strong capabilities ... -
A Research Tool for User Preferences Elicitation with Facial Expressions
(ACM, 2017)We present a research tool for user preference elicitation that collects both explicit user feedback and unobtrusively acquired facial expressions. The concrete implementation is a web-based user interface where the user ... -
How do developers react to API evolution? A large-scale empirical study
(Springer New York LLC, 2016)Software engineering research now considers that no system is an island, but it is part of an ecosystem involving other systems, developers, and users. When a framework or a library evolves, its clients often must adapt. ... -
Dynamic elicitation of user preferences in a chat-based group recommender system
(Association for Computing Machinery, Inc, 2017)Group recommender systems (GRSs) support users in a group when facing decision making tasks. Many GRSs simply perform a one shot aggregation of the individual preferences and then compute recommendations. In this paper, ... -
How do software startups pivot? Empirical results from a multiple case study
(Springer, 2016)In order to handle intense time pressure and survive in dynamic market, software startups have to make crucial decisions constantly on whether to change directions or stay on chosen courses, or in the terms of Lean Startup, ... -
New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops
(Springer, 2017)In the last few years, research on database and information system technologies has been rapidly evolving thanks to the new paradigms of software and hardware adopted by modern scientific and more invasive applications. A ... -
A context model for IDE-based recommendation systems
(2017)Context, as modeled through variables called contextual factors, can improve human-computer interaction. To date, in applications supporting software development, such as integrated development environments (IDEs) and ... -
First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus
(2017)We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ... -
Semantic Rule-Based Equipment Diagnostics
(Springer, 2017)Industrial rule-based diagnostic systems are often data-dependant in the sense that they rely on specific characteristics of individual pieces of equipment. This dependence poses significant challenges in rule authoring, ...
RSS 1.0