Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2010

The Feasibility of Navigation Algorithms on Smartphones using J2ME

Autores
Santos, AC; Tarrataca, L; Cardoso, JMP;

Publicação
MOBILE NETWORKS & APPLICATIONS

Abstract
Embedded systems are considered one of the areas with more potential for future innovations. Two embedded fields that will most certainly take a primary role in future innovations are mobile robotics and mobile computing. Mobile robots and smartphones are growing in number and functionalities, becoming a presence in our daily life. In this paper, we study the current feasibility of a smartphone to execute navigation algorithms and provide autonomous control, e.g., for a mobile robot. We tested four navigation problems: Mapping, Localization, Simultaneous Localization and Mapping, and Path Planning. We selected representative algorithms for the navigation problems, developed them in J2ME, and performed tests on the field. Results show the current mobile Java capacity for executing computationally demanding algorithms and reveal the real possibility of using smartphones for autonomous navigation.

2010

Preprocessing techniques for context recognition from accelerometer data

Autores
Figo, D; Diniz, PC; Ferreira, DR; Cardoso, JMP;

Publicação
PERSONAL AND UBIQUITOUS COMPUTING

Abstract
The ubiquity of communication devices such as smartphones has led to the emergence of context-aware services that are able to respond to specific user activities or contexts. These services allow communication providers to develop new, added-value services for a wide range of applications such as social networking, elderly care and near-emergency early warning systems. At the core of these services is the ability to detect specific physical settings or the context a user is in, using either internal or external sensors. For example, using built-in accelerometers, it is possible to determine whether a user is walking or running at a specific time of day. By correlating this knowledge with GPS data, it is possible to provide specific information services to users with similar daily routines. This article presents a survey of the techniques for extracting this activity information from raw accelerometer data. The techniques that can be implemented in mobile devices range from classical signal processing techniques such as FFT to contemporary string-based methods. We present experimental results to compare and evaluate the accuracy of the various techniques using real data sets collected from daily activities.

2010

Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010: Welcome message

Autores
Becker, J; Bozorgzadeh, E; Cardoso, JMP; Dasu, A;

Publicação
Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010

Abstract

2010

A digital game development education project

Autores
Rodrigues, NF; Simoes, R; Vilaca, JL;

Publicação
2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010

Abstract
The success of the digital game industry is spawning several undergraduate degrees aiming at the training of digital game developers. Building adequate new courses curricula is not a trivial task and demands a profound analysis of the scientific areas to introduce as well as the dependencies throughout the entire degree. Another important aspect of every academic educational plan are the satellite projects that promote entrepreneurship and provide practical professional experiences to students. This paper presents the main guidelines adopted in the creation of the first digital game development undergraduate degree created in Portugal. © 2010 IEEE.

2010

Discovering Coordination Patterns

Autores
Rodrigues, NF;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract
A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the verification of such systems with respect to their original specifications, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-defined coordination patterns and captured by a special purpose graph structure from which coordination specifications can be generated in a number of different formalisms.

2010

Identifying Clones in Functional Programs for Refactoring

Autores
Rodrigues, N; Vilaca, JL;

Publicação
ENTERPRISE INFORMATION SYSTEMS PT I

Abstract
Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for functional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identification of non-trivial functional program clones based on the recursion patterns from the so-called Bird-Meertens formalism.

  • 603
  • 685