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

2016

Video Based Group Tracking and Management

Autores
Pereira, A; Familiar, A; Moreira, B; Terroso, T; Carvalho, P; Corte Real, L;

Publicação
IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016)

Abstract
Tracking objects in video is a very challenging research topic, particularly when people in groups are tracked, with partial and full occlusions and group dynamics being common difficulties. Hence, its necessary to deal with group tracking, formation and separation, while assuring the overall consistency of the individuals. This paper proposes enhancements to a group management and tracking algorithm that receives information of the persons in the scene, detects the existing groups and keeps track of the persons that belong to it. Since input information for group management algorithms is typically provided by a tracking algorithm and it is affected by noise, mechanisms for handling such noisy input tracking information were also successfully included. Performed experiments demonstrated that the described algorithm outperformed state-of-the-art approaches.

2016

The G-ACM Tool: using the Drools Rule Engine for Access Control Management

Autores
Sá, J; Alves, S; Broda, S;

Publicação
CoRR

Abstract

2016

Requirements change management based on web usage mining

Autores
Garcia, JE;

Publicação

Abstract

2016

Vine trunk detector for a reliable robot localization system

Autores
Mendes, J; dos Santos, FN; Ferraz, N; Couto, P; Morais, R;

Publicação
2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2016)

Abstract
Develop ground robots for crop monitoring and harvesting in steep slope vineyards is a complex challenge due to two main reasons: harsh condition of the terrain and unstable localization accuracy got from Global Positioning Systems (GPS). For this context, a reliable localization system requires a high density of natural/artificial features and an accurate detector. This paper presents a novel visual detector for Vineyards Trunks and Masts (ViTruDe). The ViTruDe detector was developed considering the constrains of a cost-effective robot to carry-out crop monitoring tasks in steep slope vineyard environment. The obtained results with real data shows an accuracy higher than 95% for all tested configurations. The training and test data are made public for future research work. This approach is a contribution for an accurate and reliable localization system that is GPS-free.

2016

Anosov Diffeomorphisms and -Tilings

Autores
Almeida, JP; Pinto, AA;

Publicação
COMMUNICATIONS IN MATHEMATICAL PHYSICS

Abstract
We consider a toral Anosov automorphism G(gamma) : T-gamma --> T-gamma given by G(gamma) (x, y) = (ax + y, x) in the < v, w > base, where , a is an element of N\{1}, gamma = 1/(a + 1/(a + 1/...)), v = (gamma, 1) and w = (-1, gamma) in the canonical base of R-2 and T-gamma = R-2 / (vZ x wZ). We introduce the notion of gamma-tilings to prove the existence of a one-to-one correspondence between (i) marked smooth conjugacy classes of Anosov diffeomorphisms, with invariant measures absolutely continuous with respect to the Lebesgue measure, that are in the isotopy class of G(gamma); (ii) affine classes of gamma-tilings; and (iii) gamma-solenoid functions. Solenoid functions provide a parametrization of the infinite dimensional space of the mathematical objects described in these equivalences.

2016

A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra

Autores
Ferreira, JF; Mendes, A;

Publicação
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Abstract
This paper proposes a calculational approach to prove properties of two well-known binary trees used to enumerate the rational numbers: the Stern-Brocot tree and the Eisenstein-Stern tree (also known as Calkin-Wilf tree). The calculational style of reasoning is enabled by a matrix formulation that is well-suited to naturally formulate path-based properties, since it provides a natural way to refer to paths in the trees. Three new properties are presented. First, we show that nodes with palindromic paths contain the same rational in both the Stern-Brocot and Eisenstein-Stern trees. Second, we show how certain numerators and denominators in these trees can be written as the sum of two squares x(2) and y(2), with the rational x/y appearing in specific paths. Finally, we show how we can construct Sierpifiski's triangle from these trees of rationals. (C) 2015 Published by Elsevier Inc.

  • 2308
  • 4201