Belen Barragans Martinez

Belen Barragans Martinez
University of Vigo | UVIGO · Defense University Center at the Spanish Naval Academy

PhD Computer Science

About

51
Publications
13,291
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
793
Citations
Introduction
Skills and Expertise

Publications

Publications (51)
Article
Many recommender systems are currently available for proposing content (movies, TV series, music, etc.) to users according to different profiling metrics, such as ratings of previously consumed items and ratings of people with similar tastes. Recommendation algorithms are typically executed by powerful servers, as they are computationally expensive...
Article
This paper presents an architecture developed in order to watch a movie in a cinema and follow subtitles in the mobile device. This architecture consists of a mobile application intended to display subtitles in an ordinary cinema, as well as a server containing the subtitles of those movies available at each cinema. The mobile device will connect t...
Article
Nowadays we can witness the proliferation of Android devices, mostly smartphones and tablets. We are particularly interested in one of these types of devices (Android-based multimedia devices) that are also finding their place in the world of consumer electronics. Part of our previous work is related to the design and development of recommendation...
Article
The proliferation of location-aware mobile devices, together with the advent of Web 2.0 services, promotes the creation of hybrid applications which can provide innovative personalized context-aware services. Personalized recommendation services aim at suggesting products and services to meet users' preferences and needs, while location-based servi...
Chapter
Full-text available
This paper introduces more Tourism, a hybrid recommendation platform that provides information about tourist resources depending on the user profile, location, schedule and the amount of time for visiting interest points isolated or combined in a route. This platform is enriched with several services, such as: mashups, socialization, and adaptive i...
Chapter
The proliferation of location-aware mobile devices, together with the advent of Web 2.0 services, promotes the creation of hybrid applications which can provide innovative personalized context-aware services. Personalized recommendation services aim at suggesting products and services to meet users’ preferences and needs, while location-based servi...
Chapter
IEEE 802.11p is a technology used for communication among vehicles, related to security issues, warning of incidents, or mere exchange of different types of information. Future cars will have the ability to communicate among them and with roadside data systems to spread information about congestion, road conditions, and accidents. They will also ha...
Conference Paper
Peer to Peer (P2P) computer networks rely on direct connections between participants instead of conventional centralized resources. These networks are useful for many purposes, but the killer application nowadays is file sharing. BitTorrent is a very popular protocol for this matter. In this paper, we use a multi-agent model of a BitTorrent network...
Conference Paper
Peer to Peer (P2P) computer networks rely on direct connections between participants instead of conventional centralized resources. These networks are useful for many purposes, but the killer application nowadays is file sharing. BitTorrent is a very popular protocol for this matter. In this paper, we use a multi-agent model of a BitTorrent network...
Conference Paper
In the Defense University Center located in the Spanish Naval College in Marín, some improvements in educational planning and teaching innovations have been put into practice with the aim to students achieve better academic results.
Article
Users face the information overload problem when downloading applications in markets. This is mainly due to (i) the increasing unmanageable number of applications and (ii) the lack of an accurate and fine-grained categorization of the applications in the markets. To address this issue, we present an integrated solution which recommends to the users...
Conference Paper
Full-text available
This paper introduces a hybrid recommendation platform providing information about tourist resources depending on the user profile, location, schedule and the amount of time for visiting interest points isolated or combined in a route.
Article
Full-text available
Recommender systems help users cope with information overload by using their preferences to recommend items. To date, most recommenders have employed users' ratings, information about the user's profile, or metadata describing the items. To take advantage of Web 2.0 applications, the authors propose using information obtained from social tagging to...
Article
Full-text available
An increasing number of new geolocation services are exploiting the new capabilities of smartphones, most of which incorporate GPS location. There are fewer applications for providing indoor location, partly due to the cost of the required infrastructure. In this paper, we present QR-Maps, a simple and efficient tool that can be used in smartphones...
Article
Users face the information overload problem when downloading applications in markets. To address this issue, we present an integrated solution which recommends applications according to their previously consumed applications, use pattern, and history of ratings.
Article
Full-text available
This work is based on the application of new technologies in university teaching, especially in the development of new learning objects, knowledge pills. In recent years the University has developed several educational projects aimed at engaging students and teachers in the intensive use of new learning technologies. In this paper we describe how t...
Article
With the advent of new cable and satellite services, and the next generation of digital TV systems, people are faced with an unprecedented level of program choice. This often means that viewers receive much more information than they can actually manage, which may lead them to believe that they are missing programs that could likely interest them....
Article
Full-text available
The problem of information overload may lead users to wonder if they are missing items that would interest them. Recommender systems help users cope with this problem by using their likes to recommend the items with higher preference. Up to date, most of recommenders have used users' ratings, information about the user's profile, and/or meta-data d...
Article
The formal methodology MultiSpec supports the evolution of software specifications gathered from multiple perspectives. A viewpoint-based approach is used to explicitly separate the descriptions provided by different stakeholders, and concentrate on identifying and resolving conflicts between them. The challenge addressed in this article consists i...
Article
A major challenge for dealing with multi-perspective specifications, and more concretely, with merging of several descriptions or views is toleration of incompleteness and inconsistency: views may be inconclusive, and may have conflicts over the concepts being modeled. The desire of being able to tolerate both phenomena introduces the need to evalu...
Article
One of the main needs when dealing with multi-perspective specifications is to be able to have at our disposal, at intermediate stages of the development process, a merged view which properly reflects the knowledge of each participant in the elicitation tasks (and over which we can reason, even in the presence of disagreement and incompleteness). W...
Conference Paper
The development of requirements specifications has to face the imprecise and changeable knowledge available about the desired systems at the early stages of development. In this paper, we take advantage of that changeability to introduce an agile approach that helps identify suitable evolutions of a specification. This approach provides a solution...
Conference Paper
Full-text available
In this paper we introduce X\mathcal{X}TCTL, a dense-time extension of the multi-valued Computation Tree Logic (X\mathcal{X}CTL) in [1]. Alternatively, X\mathcal{X}TCTL is a multi-valued extension of TCTL [2] over quasi-boolean algebras. A multi-valued quotient is defined which enables to reduce dense-time X\mathcal{X}TCTL model checking to the unt...
Conference Paper
Full-text available
The correctness of a component-based specification is not guaranteed by the correctness of its components alone; on the contrary, integration analysis is needed to observe their conjoint behavior. Existing approaches often leave the results of the analysis at the level of the integrated system, without tracing them onto the corresponding components...
Conference Paper
Full-text available
In this paper we present a recommender system of personalized TV contents, called AVATAR, for which we propose a modular multiagent architecture, that combines different knowledge inference strategies (such as Bayesian techniques, profiles matching and semantic reasoning). We focus on the description of one of these strategies, the naive Bayesian c...
Conference Paper
Full-text available
Interactive digital TV is emerging as a potentially important medium to create opportunities for learning at home. To date, the offer has been mostly based on the contents available through broadcast, but this is expected to change in the near future. The increasing availability of high-quality bidirectional networks, together with the fact that ID...
Conference Paper
Full-text available
T-learning -the provision of educational services over Interactive Digital TV-is emerging as a important medium to create opportunities for learning at home. In this paper, we elaborate on a framework for the development and deployment of collaborative t-learning services, presenting an architecture that allows distributing the logic of a service,...
Conference Paper
Full-text available
In this paper we present AVATAR, a recommender of personalized TV contents, for which an open multi-agent architecture is proposed. This tool uses different knowledge inference strategies, even though we focus on the description of one of them, the naive Bayesian classifiers. Standardization is a key issue to achieve wide deployment in this kind of...
Conference Paper
Full-text available
In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contents by semantic Reasoning) is presented. This tool uses the experience gained in the field of the Semantic Web to personalize the TV programs shown to the end users. The main contribution of our system is a process of se-mantic reasoning carried out on...
Article
Full-text available
The purpose of X-SCTL/MUS methodology is to support the collaborative development of software requirements specifications. It is a viewpoint-based approach which separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them. X-SCTL/MUS allows the incremental development of each p...
Conference Paper
Full-text available
In this paper a recommender system of personalized TV contents, named AVATAR1, is presented. We propose a modular multi-agent architecture for the system, whose main novelty is the semantic reasoning about user preferences and historical logs, to improve the traditional syntactic content search. Our approach uses Semantic Web technologies - more sp...
Conference Paper
Full-text available
T-learning – the provision of educational services over Interactive Digital TV – is regarded as a complement to e-learning solutions, whose scope is limited due to the digital divide. The increasing connectivity, together with the fact that IDTV users are no longer passive spectators, permits to start thinking on highly interactive services that su...
Conference Paper
The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as χ-SCTL/MUS) b...
Conference Paper
Full-text available
Selecting components that satisfy a given set of requirements is a key problem in software reuse, especially in reusing between different domains of functionality. This concern has been treated in the ARIFS methodology, which provides an environment to reuse partial and formal requirements specifications, managing the variability implicit in their...
Conference Paper
Full-text available
The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as χ-SCTL/MUS) b...
Article
The past decade witnessed a great advance in the field of timed formal methods for the specification and analysis of real-time and safety-critical systems. In this context, timed automata and real-time temporal logics provide a simple, and yet general, way to model and specify the behavior of these systems. At the same time, iterative and increment...
Article
Full-text available
The selection of appropriate components for satisfying a given equirement is a key problem in software reuse. Although this problem is remarkable in the reuse of software within same domain or application area, which is known as vertical reuse, it is more pronounced in horizontal reuse, that is, the reuse of software elements in different applicati...
Conference Paper
Full-text available
The development of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. We use the SCTL-MUS methodology to bridge the gap between these two phases. The analysis phase provides diagnostic information if a desirable property is not satisfied by the current system specification. A crucial aspect of the...
Article
Full-text available
The selection of appropriate components for satisfying a given equirement is a key problem in software reuse. Although this problem is remarkable in the reuse of software within same domain or application area, which is known as vertical reuse, it is more pronounced in horizontal reuse, that is, the reuse of software elements in different applicati...
Conference Paper
Full-text available
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in HRT are by nature functional requirements, since system correctness depends on their fulfillment. Whereas the correctness dependence of the time imposes considering timing...
Conference Paper
Full-text available
We adapt an analysis-revision cycle to SCTL-MUS methodology to support the modification and evolution of requirements specifications in a multiperspective environment. To illustrate the advantages of using our approach in the analysis and revision phases, we employ two viewpoints of a thermostat system. Both viewpoints are merged in order to reason...
Conference Paper
Full-text available
This paper describes how ARIFS tool (Approximate Retrieval of Incomplete and Formal Specifications) provides a suitable reusing environment to classify, retrieve and adapt formal and incomplete requirements specifications. Both classification and retrieval tasks are based on functional similarities according to structural and semantic closeness. To...
Article
Full-text available
A key problem in software reuse is the selection of appropriate components for satisfying a given requirement, being this problem more pronounced in horizontal reuse, that is, the reuse of software elements in different domains of applications. This paper describes how AR-IFS tool (Approximate Retrieval of Incomplete and Formal Specifications) prov...
Article
Full-text available
In this paper a user modeling technique in the context of the AVATAR system is presented. AVATAR is a personalized TV contents recommender based on a process of semantic reasoning on the viewer preferences and the TV programs. This semantic reasoning requires a formal representation of the user preferences, and for that reason our approach uses typ...
Article
Full-text available
Even though verifying systems during any phase of the development process is a remarkable advantage of using formal techniques in software engineering practice, the great computing resources needed to verify medium-large and large systems entails an efficiency problem in incre-mental and iterative life cycles, where each iteration implies identifyi...
Article
Full-text available
The development of educational services over Interactive TV (t-learning), has been hampered by the lack of interoperability between receivers from different manufacturers, and also between applications and contents from different providers. Bearing this in mind, this paper presents an evolution of an existing framework for the development of t-lear...
Article
Full-text available
Advantages of using formal techniques in software en-gineering practice are well known, and the possibility of verifying and validating systems during any phase of the development process is one of the most significant. This advantage, which clearly justifies using formal methodolo-gies, is reduced by the great computing resources needed to verify...
Article
Full-text available
In a t-learning environment, it does not seem the most adequate option to leave the discovery of services in a pull model where it is the user, on his own initiative, who starts looking for interesting courses by navigating through the Electronic Programming Guides. This paper motivates an alternative model that pursues an adequate targeting of the...

Network

Cited By