Articles

Editorial

Authors: Maria Cristina Ferreira de Oliveira

Incremental validation of NCL hypermedia documents

This paper proposes an incremental, structural and contextual validation method for Nested Context Language (NCL) documents. As part of the proposed method, we define a declarative metalanguage to ensure low c...

Authors: Rodrigo Costa Mesquita Santos, José Rios Cerqueira Neto, Carlos de Salles Soares Neto and Mário Meireles Teixeira

Editorial

Authors: Maria Cristina Ferreira de Oliveira

Characterizing the communication in the Amazon rainforest: towards a realistic simulation

Many literature papers evaluate solutions in wireless sensor networks by simulation experiments. However, little attention is given to the adequacy of the simulator propagation models to the environment in whi...

Authors: Afonso D. Ribas, Antonio R. Carvalho Jr., Carlos M. S. Figueiredo and Eduardo F. Nakamura

On the analysis of the collaboration network of the Brazilian symposium on computer networks and distributed systems

The Brazilian symposium on computer networks and distributed systems (SBRC) reached its 30th edition as the paramount scientific event in the area of computer networks and distributed systems in Brazil. Faced ...

Authors: Guilherme Maia, Pedro O. S. Vaz de Melo, Daniel L. Guidoni, Fernanda S.H. Souza, Thiago H. Silva, Jussara M. Almeida and Antonio A. F. Loureiro

A survey on automatic techniques for enhancement and analysis of digital photography

The fast growth in the consumer digital photography industry during the past decade has led to the acquisition and storage of large personal and public digital collections containing photos with different qual...

Authors: Claudio S. V. C. Cavalcanti, Herman Martins Gomes and José Eustáquio Rangel De Queiroz

Functional test data generation for Simulink-like models

Embedded systems are increasingly present in many electronic devices and is often related to critical applications. Therefore, the need for a well planned and executed testing procedure is even higher. We inte...

Authors: Rodrigo Fraxino Araujo, Marcio Eduardo Delamaro and Jose Carlos Maldonado

Ambiguity and context-dependent overloading

This paper discusses ambiguity in the context of languages that support context-dependent overloading, such as Haskell. A type system for a Haskell-like programming language that supports context-dependent ove...

Authors: Rodrigo Ribeiro and Carlos Camarão

A conceptual-driven survey on future internet requirements, technologies, and challenges

Nowadays, research initiatives to redesign the Internet are popping up around the world. Each of these projects has a particular focus and its own set of design requirements and key technologies. The panorama ...

Authors: Antonio Marcos Alberti

Challenges for mesoscale climatology execution on experimental grid computing systems

This paper discusses the challenges of executing a long-term application on a computational grid, which generates the climatology of the atmospheric numerical model BRAMS (Brazilian development on Regional Atmosp...

Authors: Eugenio Sper de Almeida, Haroldo Fraga de Campos Velho and Airam Jonatas Preto

Editorial

Authors: Maria Cristina Ferreira de Oliveira

A Hajós-like theorem for weighted coloring

The Hajós’ Theorem (Wiss Z Martin Luther Univ Math-Natur Reihe, 10, pp 116–117, 1961) shows a necessary and sufficient condition for the chromatic number of a given graph ...

Authors: J. Araujo and C. Linhares Sales

Scrum adoption and architectural extensions in developing new service applications of large financial IT systems

The use of modern agile software development methods in large organisations requires tailoring agile development to the organisations’ needs. This study concentrated on studying integrating software product li...

Authors: Tuomas Ihme

Marching cubes technique for volumetric visualization accelerated with graphics processing units

Volume visualization has numerous applications that benefit different knowledge domains, such as biology, medicine, meteorology, oceanography, geology, among others. With the continuous advances of technology,...

Authors: Marcos Vinicius Mussel Cirne and Hélio Pedrini

Portuguese text generation using factored language models

As in many other natural language processing (NLP) fields, the use of statistical methods is now part of mainstream natural language generation (NLG). In the development of systems of this kind, however, there...

Authors: Eder Miranda de Novais and Ivandré Paraboni

A semantic approach for QoS specification of communication services using QoE parameters

Various operations related to Quality of Service (QoS) management in communication networks require the clients/users to specify the quality level of the network service. The current QoS proposals adopt a fixe...

Authors: José Cé Júnior, Achilles C. Prudêncio, Roberto Willrich and Madalena P. da Silva

A method to convert floating to fixed-point EKF-SLAM for embedded robotics

The Extended Kalman Filter (EKF) is one of the most efficient algorithms to address the problem of Simultaneous Localization And Mapping (SLAM) in the area of autonomous mobile robots. The EKF simultaneously e...

Authors: Leandro de Souza Rosa and Vanderlei Bonato

A set of novel modifications to improve algorithms from the A* family applied in mobile robotics

This paper presents a set of novel modifications that can be applied to any grid-based path planning algorithm from the A* family used in mobile robotics. Five modifications are presented regarding the way the...

Authors: Tiago Pereira do Nascimento, Pedro Costa, Paulo G. Costa, António Paulo Moreira and André Gustavo Scolari Conceição

Feasible path planning for fixed-wing UAVs using seventh order Bézier curves

This study presents a novel methodology for generating smooth feasible paths for autonomous aerial vehicles in the three-dimensional space based on a variation of the Spatial Quintic Pythagorean Hodographs cur...

Authors: Armando Alves Neto, Douglas G. Macharet and Mario F. M. Campos

Parallel transitive closure algorithm

Authors: C. E. R. Alves, E. N. Cáceres, A. A. de Castro Jr., S. W. Song and J. L. Szwarcfiter

Editorial

Authors: Maria Cristina Ferreira de Oliveira

Evaluation of parameters for combining multiple textual sources of evidence for Web image retrieval using genetic programming

Web image retrieval is a research area that is receiving a lot of attention in the last few years due to the growing availability of images on the Web. Since content-based image retrieval is still considered v...

Authors: Patrícia Correia Saraiva, João M. B. Cavalcanti, Marcos A. Gonçalves, Katia C. Lage dos Santos, Edleno S. de Moura and Ricardo da S. Torres

Generating a pronunciation dictionary for European Portuguese using a joint-sequence model with embedded stress assignment

This paper addresses the problem of grapheme to phoneme conversion to create a pronunciation dictionary from a vocabulary of the most frequent words in European Portuguese. A system based on a mixed approach f...

Authors: Arlindo Veiga, Sara Candeias and Fernando Perdigão

Automatic generation of Brazilian sign language windows for digital TV systems

Deaf people have serious difficulties accessing information. The support for sign language (their primary means of communication) is rarely addressed in information and communication technologies. Furthermore,...

Authors: Tiago Maritan Ugulino de Araújo, Felipe Lacet Silva Ferreira, Danilo Assis Nobre dos Santos Silva, Felipe Hermínio Lemos, Gutenberg Pessoa Neto, Derzu Omaia, Guido Lemos de Souza Filho and Tatiana Aires Tavares

On-the-fly extraction of hierarchical object graphs

Reverse engineering techniques are usually applied to extract concrete architecture models. However, these techniques usually extract models that just reveal static architectures, such as class diagrams. On th...

Authors: Hugo de Brito, Humberto Torres Marques-Neto, Ricardo Terra, Henrique Rocha and Marco Tulio Valente

Editorial

Authors: Maria Cristina Ferreira de Oliveira

Reducing the impact of location errors for target tracking in wireless sensor networks

In wireless sensor networks (WSNs), target tracking algorithms usually depend on geographical information provided by localization algorithms. However, errors introduced by such algorithms affect the performan...

Authors: Éfren L. Souza, Eduardo F. Nakamura, Horácio A. B. F. de Oliveira and Carlos M. S. Figueiredo

A semi-automated method for acquisition of common-sense and inferentialist knowledge

This paper presents a semi-automated method for the acquisition of common-sense and inferentialist concepts in Portuguese. Its innovative feature is a module of reasoning over the pre-existing knowledge that a...

Authors: Vladia Pinheiro, Vasco Furtado, Tarcísio Pequeno and Wellington Franco

Automatic student modeling in adaptive educational systems through probabilistic learning style combinations: a qualitative comparison between two innovative stochastic approaches

Considering learning and how to improve students’ performances, adaptive educational systems must know the way in which an individual student learns best. In this context, this work presents a comparison betwe...

Authors: Fabiano A. Dorça, Luciano V. Lima, Márcia A. Fernandes and Carlos R. Lopes

A model for inference of emotional state based on facial expressions

Non-verbal communication is of paramount importance in person-to-person interaction, as emotions are an integral part of human beings. A sociable robot should therefore display similar abilities as a way to in...

Authors: Rafael A. M. Gonçalves, Diego R. Cueva, Marcos R. Pereira-Barretto and Fabio G. Cozman

A coherence analysis module for SciPo: providing suggestions for scientific abstracts written in Portuguese

SciPo is a writing tool whose ultimate goal is to assist novice writers in producing scientific writing in Portuguese, focusing primarily on abstracts and introductions from computer science. In this paper, we...

Authors: Vinícius Mourão Alves de Souza and Valéria Delisandra Feltrim

Evaluation of desktop operating systems under thrashing conditions

Virtual memory mechanisms allow offering more RAM memory space to processes than the amount of memory physically available in the system, using disk space as a memory extension. When there is not enough RAM me...

Authors: Carlos Maziero, Douglas dos Santos and Altair Santin

Forgetting mechanisms for scalable collaborative filtering

Collaborative filtering (CF) has been an important subject of research in the past few years. Many achievements have been made in this field, however, many challenges still need to be faced, mainly related to ...

Authors: João Vinagre and Alípio Mário Jorge

Erratum to: On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions

Authors: Luís Teixeira d’Aguiar Norton Brandão and Alysson Neves Bessani

TAL—Template Authoring Language

This paper presents TAL (Template Authoring Language), an authoring language for hypermedia document templates. Templates describe document families with structural or semantic similarities among them. TAL sup...

Authors: Carlos de Salles Soares Neto, Luiz Fernando Gomes Soares and Clarisse Sieckenius de Souza

Editorial

Authors: Maria Cristina Ferreira de Oliveira

Clus-DTI: improving decision-tree classification with a clustering-based decision-tree induction algorithm

Decision-tree induction is a well-known technique for assigning objects to categories in a white-box fashion. Most decision-tree induction algorithms rely on a sub-optimal greedy top-down recursive strategy fo...

Authors: Rodrigo C. Barros, Márcio P. Basgalupp, André C. P. L. F. de Carvalho and Marcos G. Quiles

Designing tailorable software systems with the users’ participation

There are several barriers that prevent Brazilian citizen to access knowledge, including the way in which computational technology is presented considering the diversity of interaction skills in our population...

Authors: Vânia Paula de Almeida Neris and M. Cecília C. Baranauskas

Partially labeled data stream classification with the semi-supervised K-associated graph

Regular data classification techniques are based mainly on two strong assumptions: (1) the existence of a reasonably large labeled set of data to be used in training; and (2) future input data instances confor...

Authors: João Roberto Bertini Jr., Alneu de Andrade Lopes and Liang Zhao

Space D*

This paper describes a new method of path-planning for multiple robots in unknown environments. The method, called Space D*, is based on two algorithms: the D*, which is an incremental graph search algorithm, ...

Authors: Luan Silveira, Renan Q. Maffei, Silvia S. C. Botelho, Paulo L. Drews Jr., Alessandro de L. Bicho and Nelson L. Duarte Filho

Analyzing the scalability of coordination requirements of a distributed software project

Collaborative tools have been proposed to support different domains, including software development. Despite important previous work on the design of collaborative tools, none directly addresses the required s...

Authors: Cleidson R. B. de Souza, Jean M. R. Costa and Marcelo Cataldo

D-Confidence: an active learning strategy to reduce label disclosure complexity in the presence of imbalanced class distributions

In some classification tasks, such as those related to the automatic building and maintenance of text corpora, it is expensive to obtain labeled instances to train a classifier. In such circumstances it is com...

Authors: Nuno Filipe Escudeiro and Alípio Mário Jorge

Optimal pagination and content mapping for customized magazines

Traditional media such as magazines and newspapers are undergoing deep transformations as they cope with the high volume and dynamicity of currently available information. In addition, with the emergence of de...

Authors: Ricardo Piccoli, João Oliveira and Isabel Manssour

Non-photorealistic neural sketching

We present and evaluate a neural network-based technique to automatically enable NPR renderings from digital face images, which resemble semi-detailed sketches. The technique has been experimentally evaluated ...

Authors: Francisco de Assis Pereira Vasconcelos de Arruda, José Eustáquio Rangel de Queiroz and Herman Martins Gomes

b-Coloring graphs with large girth

A b-coloring of a graph is a coloring of its vertices such that every color class contains a vertex that has a neighbor in all other classes. The b-chromatic number of a graph is the largest integer k such that t...

Authors: Victor Campos, Victor A. E. de Farias and Ana Silva

An approach to enrich users’ personomy using the recommendation of semantic tags

Tagging-based systems are a popular and convenient way to organize information on the Web. Despite the alleged advantage of the free choice of words used to categorize Web resources in this kind of systems, it...

Authors: Sérgio R. P. da Silva, Marcelo R. Borth, Josiane M. P. Ferreira and Valéria D. Feltrim

Sentiment-based influence detection on Twitter

The user generated content available in online communities is easy to create and consume. Lately, it also became strategically important to companies interested in obtaining population feedback on products, me...

Authors: Carolina Bigonha, Thiago N. C. Cardoso, Mirella M. Moro, Marcos A. Gonçalves and Virgílio A. F. Almeida

Package level cohesion measurement in object-oriented software

Packages are re-usable components for most of object-oriented systems. To promote reuse in object-oriented systems and to make deployment and maintenance tasks easy, packages in object-oriented systems must be...

Authors: Varun Gupta and Jitender Kumar Chhabra

Selective local texture features based face recognition with single sample per class

Local appearance-based methods have been successfully applied to face recognition and achieved state-of-the-art performance. In this paper we propose a local selective feature extraction approach based on Gabo...

Authors: K. Jaya Priya and R. S. Rajesh

On the classification problem for split graphs

The Classification Problem is the problem of deciding whether a simple graph has chromatic index equal to Δ or Δ+1. In the first case, the graphs are called Class 1, otherwise, they are Class 2. A split graph is ...

Authors: Sheila Morais de Almeida, Célia Picinin de Mello and Aurora Morgana