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 HASLab

2006

Query Driven Sequence Pattern Mining

Autores
Ferreira, PG; Azevedo, PJ;

Publicação
XXI Simpósio Brasileiro de Banco de Dados, 16-20 de Outubro, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings

Abstract

2006

Visual interactive subgroup discovery with numerical properties of interest

Autores
Jorge, AM; Pereira, F; Azevedo, PJ;

Publicação
DISCOVERY SCIENCE, PROCEEDINGS

Abstract
We propose an approach to subgroup discovery using distribution rules (a kind of association rules with a probability distribution on the consequent) for numerical properties of interest. The objective interest of the subgroups is measured through statistical goodness of fit tests. Their subjective interest can be assessed by the data analyst through a visual interactive subgroup browsing procedure.

2006

Distribution rules with numeric attributes of interest

Autores
Jorge, AM; Azevedo, PJ; Pereira, F;

Publicação
KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2006, PROCEEDINGS

Abstract
In this paper we introduce distribution rules, a kind of association rules with a distribution on the consequent. Distribution rules are related to quantitative association rules but can be seen as a more fundamental concept, useful for learning distributions. We formalize the main concepts and indicate applications to tasks such as frequent pattern discovery, sub group discovery and forecasting. An efficient algorithm for the generation of distribution rules is described. We also provide interest measures, visualization techniques and evaluation.

2006

Normative specification: A tool for trust and security

Autores
Pacheco, O;

Publicação
FORMAL ASPECTS IN SECURITY AND TRUST

Abstract
Many software systems can be viewed as organizational Systems, where the different components are seen as autonomous entities, interacting with each other, collaborating toward system's aims. In such systems we may not have full control over the behavior of all its components. Normative specification of an organizational system, provides a way of describing the norms that regulate the behavior of a system and of its components, stating how they are expected to behave, assuming however, that they may deviate from that ideal behavior. In this paper we use an action and deontic modal logic for the normative specification of organizational systems. This logical framework allows us to describe expected behavior of agents, detect non-ideal behavior and identify the agents that, direct or indirectly, are responsible for it. We argue that normative specification can be an useful tool to increase trust and security in complex computational systems and propose a responsibility-based trust concept.

2006

Selective rendering: Computing only what you see

Autores
Chalmers, A; Debattista, K; Dos Santos, LP;

Publicação
Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia

Abstract
The computational requirements of a full physically-based global illumination solution are significant, currently precluding its solution on even a powerful modern PC in reasonable let alone real time. A key factor to consider if we are ever to achieve so-called "Realism in Real-Time", is that we are computing images for humans to look at. Although the human visual system is very good, it is by no means perfect. By understanding what the human does, or perhaps more importantly, does not see, enables us to save significant computation effort without any loss of perceptual quality of the resultant image. This paper describes the novel techniques of selective rendering which allow us to direct computational resources to those areas of high perceptual importance while avoiding computing any detail which will not be perceived by the viewer. Such selective rendering methods offer us the real possibility of achieving high fidelity graphics of complex scenes at interactive rates.

2006

Parallel progressive precomputed radiance transfer

Autores
Santos, LP; Valentim, S; Fernandes, AR;

Publicação
Proceedings - SCCG 2006: 22nd Spring Conference on Computer Graphics

Abstract
Precomputed Radiance Transport (PRT) was introduced as a technique to enable interactive navigation and distant environmental real time relighting of rigid scenes. Evaluating radiance transport is, however, a computationally very demanding task, which precludes PRT's utilization during the model design phase, since the user must wait for long periods of time before being able to light and navigate within the model. This paper proposes and validates an approach to provide visual feedback to the user as soon as possible, within PRT context. By resorting to parallel processing and progressive refinement, the user is quickly presented with a lower lighting resolution of the virtual model. This is then progressively refined by incrementally increasing the number of incident directions taken into account on transport computations. PRT is, however, a complex algorithm that requires frequent collective communications of huge volumes of data, thus constraining the maximum achievable speedup on a parallel system. This issue is analysed and an alternative workload distribution is proposed and evaluated on a 12 node dual processor cluster. The final solution ensures a good resource utilization rate, reducing response times from dozens of seconds to a few hundred milliseconds. Copyright © 2006 by the Association for Computing Machinery, Inc.

  • 237
  • 262