Departament de Ciències de la Computació: Recent submissions
Now showing items 61-80 of 87
Definition and use of software requirement patterns in requirements engineering
The final quality of software products and services depends on the requirements stated in the Software Requirements Specifications (SRSs). However, some problems like ambiguity, incompleteness and inconsistency have been ...
Bringing social reality to multiagent and service architectures : practical reductions for monitoring of deontic-logic and constitutive norms
As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. We propose to view ...
Gathering empirical evidence and building a business case for software reference architectures in industry
Background: Software reference architectures are becoming widely adopted by organizations that need to support the design and maintenance of software applications of a shared domain. For organizations that plan to adopt ...
Tree automata with constraints and tree homomorphisms
Automata are a widely used formalism in computer science as a concise representation for sets. They are interesting from a theoretical and practical point of view. This work is focused on automata that are executed on ...
Artifact-centric business process models in UML : specification and reasoning
Business processes are directly involved in the achievement of an organization's goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for ...
Interactive inspection of segmented volume data
Present systems for the acquisition of medical images are providing better and better resolution images which end up in bigger amounts of data, even in scenarios with learning or training purposes. Interactive inspection ...
A methodology for pre-post intervention studies : an application for a nutritional case study
Nowadays, it is widely accepted that many of modern lifestyle habits such as diet and exercise, together with genetics, play an important role in the development of many diseases such as cardiovascular disease, diabetes, ...
Improving automatic rigging for 3D humanoid characters
In the field of computer animation the process of creating an animated character is usually a long and tedious task. An animation character is usually efined by a 3D mesh (a set of triangles in the space) that gives its ...
Towards more reliable feature evaluations for classification
In this thesis we study feature subset selection and feature weighting algorithms. Our aim is to make their output more stable and more useful when used to train a classifier. We begin by defining the concept of stability ...
A dynamic adaptive framework for improving case-based reasoning system performance
An optimal performance of a Case-Based Reasoning (CBR) system means, the CBR system must be efficient both in time and in size, and must be optimally competent. The efficiency in time is closely related to an efficient and ...
Unsupervised entity linking using graph-based semantic similarity
Nowadays, the human textual data constitutes a great proportion of the shared information resources such as World Wide Web (WWW). Social networks, news and learning resources as well as Knowledge Bases (KBs) are just the ...
NoMoDEI : A framework for Norm Monitoring on Dynamic Electronic Institutions
With the growth of the Internet, computational systems have become more and more complex, often including complicate interconnected networks of autonomous components. The need to bring some organisational structure into ...
Robust interactive simulation of deformable solids with detailed geometry using corotational FEM
This thesis focuses on the interactive simulation of highly detailed deformable solids modelled with the Corotational Finite Element Method. Starting from continuum mechanics we derive the discrete equations of motion and ...
On some interactive mesh deformations
Techniques devoted to deform 3D models are an important research field in Computer Graphics. They can be used in differentstages: the modelling phase, the animation process and also during some special simulations. ...
Multivariate methods for interpretable analysis of magnetic resonance spectroscopy data in brain tumour diagnosis
Malignant tumours of the brain represent one of the most difficult to treat types of cancer due to the sensitive organ they affect. Clinical management of the pathology becomes even more intricate as the tumour mass increases ...
Enhancing detailed haptic relief for real-time interaction
The present document exposes a different approach for haptic rendering, defined as the simulation of force interactions to reproduce the sensation of surface relief in dense models. Current research shows open issues in ...
Joint parsing of syntactic and semantic dependencies
Syntactic Dependency Parsing and Semantic Role Labeling (SRL) are two main problems in Natural Language Understanding. Both tasks are closely related and can be regarded as parsing on top of a given sequence. In the ...
Automatic program analysis using Max-SMT
This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...
Regularized approximate policy iteration using kernel for on-line reinforcement learning
By using Reinforcement Learning (RL), an autonomous agent interacting with the environment can learn how to take adequate actions for every situation in order to optimally achieve its own goal. RL provides a general ...
Extending procrustes analysis : building multi-view 2-D models from 3-D human shape samples
This dissertation formalizes the construction of multi-view 2D shape models from 3D data. We propose several extensions of the well-known Procrustes Analysis (PA) algorithm that allow modeling rigid and non-rigid transformations ...
