Now showing items 1-10 of 82
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks: Case study: SBR plant
This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as apexes, ...
Evaluating different approaches for indexing fuzzy sets
Providing efficient query processing in database systems is one step towards gaining acceptance of such systems by end users. We propose several techniques for indexing fuzzy sets in databases to improve the query evaluation ...
Optimal radio channel recommendations with explicit and implicit feedback
The very large majority of recommender systems are running as server-side applications, and they are controlled by the content provider, i.e., who provides the recommended items. This paper focuses on a different scenario: ...
(Scuola IaD : F&D, 2009)
In this demo, we would like to show how cooperative learning features have been added to the Moodle LMS, creating a virtual environment called DIEL.
Supporting Governance in Disciplined Agile Delivery Using Non-Invasive Measurement and Process Mining
(Cutter Information Corp., 2013)
To implement Disciplined Agile Delivery (DAD) within the enterprise, governance must be addressed. One potential aspect of governance is the auditing of processes, e.g., to verify which steps an artifact goes through before ...
Software assurance practices for mobile applications
(Springer Verlag (Germany), 2014)
Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development ...
Managing changes in requirements: An empirical investigation
This paper describes the challenges of handling changing requirements in software companies. This empirical investigation deals with the different sources of changes and with the different approaches to requirements ...
Designing games for deaf children: first guidelines
According to the most recent deaf literature, playing with digital games shows positive effects on deaf children's specific skills. The goal of this paper is to present the first guidelines for the design of games for deaf ...
An Ontological Approach to Creating an Andean Weaving Knowledge Base
(Association for Computing Machinery (ACM), 2015)
Andean textiles are products of one of the richest, oldest and continuous weaving traditions in the world. Understanding the knowledge and practice of textile production as a form of cultural heritage is particularly ...
Towards a hybrid testing process unifying exploratory testing and scripted testing
Given the current state of the art in research, practitioners are faced with the challenge of choosing scripted testing (ST) or exploratory testing (ET). This study aims at systematically incorporating strengths of ET and ...