Now showing items 1-10 of 396
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, ...
Rewriting queries with arbitrary aggregation functions using views
(Association for Computing Machinery (ACM), 2006)
The problem of rewriting aggregate queries using views is studied for conjunctive queries with arbitrary aggregation functions and built-in predicates. Two types of queries over views are introduced for rewriting aggregate ...
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 ...
Deciding equivalences among conjunctive aggregate queries
(Association for Computing Machinery, 2007)
Equivalence of aggregate queries is investigated for the class of conjunctive queries with comparisons and the aggregate operators count, count-distinct, min, max, and sum. Essentially, this class contains unnested SQL ...
An Epistemic Operator for Description Logics
Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of ...
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 ...