Articles - Computer Science
Browse by
Recent Submissions
-
Current challenges and visions in music recommender systems research
(2018)Music recommender systems (MRSs) have experienced a boom in recent years, thanks to the emergence and success of online streaming services, which nowadays make available almost all music in the world at the user’s fingertip. ... -
Using visual features based on MPEG-7 and deep learning for movie recommendation
(2018)Item features play an important role in movie recommender systems, where recommendations can be generated by using explicit or implicit preferences of users on traditional features (attributes) such as tag, genre, and cast. ... -
Optique: Zooming in on Big Data
(2015)Optique overcomes problems in current ontology-based data access systems pertaining to installation overhead, usability, scalability, and scope by integrating a user-oriented query interface, semi-automated managing methods, ... -
Toward Process Control from Formal Models of Transformable Manufacturing Systems
(Elsevier, 2017)The automation and flexibility of production systems is a key step towards improved profitability and competitiveness in high labour cost areas, when producing high-complexity, low-volume products. In the Evolvable Assembly ... -
Supervisory Control for Behavior Composition
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017)We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior (e.g., a ... -
Query Answering with DBoxes is Hard
(2011)Data in description logic knowledge bases is stored in the form of an ABox. ABoxes are often confusing for developers coming from relational databases because an ABox, in contrast to a database instance, provides an ... -
Tractability and intractability of controlled languages for data access
(2012)In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web Ontology Language) and description logic ontology-based systems. Controlled ... -
Query Processing under GLAV Mappings for Relational and Graph Databases
(2012)Schema mappings establish a correspondence between data stored in two databases, called source and target respectively. Query processing under schema mappings has been investigated extensively in the two cases where each ... -
A Change-based Approach to Software Evolution
(2007)Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developers. They do not record every intermediate ... -
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
(2012)To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ... -
Global existence for semilinear reaction-diffusion systems on evolving domains
(2012)We present global existence results for solutions of reaction-diffusion systems on evolving domains. Global existence results for a class of reaction-diffusion systems on fixed domains are extended to the same systems posed ... -
Gradient recovery in adaptive finite-element methods for parabolic problems
(2012)We derive energy-norm a posteriori error bounds using gradient recovery (ZZ) estimators to control the spatial error for fully discrete schemes for the linear heat equation. This appears to be the first completely rigorous ... -
Evaluating defect prediction approaches: A benchmark and an extensive comparison
(2012)Reliably predicting software defects is one of the holy grails of software engineering. Researchers have devised and implemented a plethora of defect/bug prediction approaches varying in terms of accuracy, complexity and ... -
"Leagile" software development: An experience report analysis of the application of lean approaches in agile software development
(2012)In recent years there has been a noticeable shift in attention from those who use agile software development toward lean software development, often labelled as a shift “from agile to lean”. However, the reality may not ... -
Execution profiling blueprints
(2012)Although traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of detailed visual runtime information to ... -
Symmetric inverse-based multilevel ILU preconditioning for solving dense complex non-Hermitian systems in electromagnetics
(2012)Boundary element discretizations of exterior Maxwell problems lead to dense complex non-Hermitian systems of linear equations that are difficult to solve from a linear algebra point of view. We show that the recently ... -
Refining code ownership with synchronous changes
(2012)When mining software repositories, two distinct sources of information are usually explored: the history log and snapshots of the system. Results of analyses derived from these two sources are biased by the frequency with ... -
Engineering and Verifying Agent-oriented Requirements Augmented by Business Constraints with B-Tropos
(Springer, 2011)We propose B-Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks. In particular, we show how B-Tropos extends the Tropos ... -
Path dependent stochastic models to detect planned and actual technology use: A case study of OpenOffice
(2011)Context: Adopting IT innovation in organizations is a complex decision process driven by technical, social and economic issues. Thus, those organizations that decide to adopt innovation take a decision of uncertain success ... -
Report of the 4th international symposium on empirical software engineering and measurement ESEM 2010
(2011)This report summarizes the research works, in particular the full and short papers, presented at the 4th International Symposium on Empirical Software Engineering and Measurement (ESEM 2010), held the 16th and 17th of ...
RSS 1.0