It is generally understood that “accommodation” and “convergence” are mismatched during stereoscopic vision and that this is the main reason for the visual fatigue and the visually induced motion sickness (VIMS). The aim of this paper is to explain results of recent studies by the present authors on this problem. Fixation distances between accommodation and convergence in young and middle-aged ...

A linguagem peculiar e a pluralidade de visões distintas exigem conhecimento e experiência do engenheiro de requisitos para o sucesso da atividade de extração de requisitos em domínios específicos. Neste trabalho, são apresentadas as ferramentas i*Get e TEKBS, que utilizam técnicas de inteligência artificial para auxiliarem o engenheiro de requisitos na extração de metas concretas e flexíveis, ...

Document Reference: TR-Encode-TUKE-4-95 Date: 12/95 Activity: T1.2 Status: Internal Release Distribution: All ENCODE Partners Title: Configuration design in CLIPS room allocation problem Abstract: Experimental implementation of the room allocation problem by the use of the Complete-Revise-Optimize strategy in order to test the applicability of the CLIPS system to solve configuration design prob...

Nuestro estudio explora los sonidos de la urbe en su relación con imagen-movimiento intención observar cómo se ha ido construyendo y deconstruyendo a través del cine contemporáneo un imaginario ciudad Barcelona que, visto conjunto, aporta una visión plural, polifónica heterogénea condal. Apoyándonos corpus audiovisual objetivos, duración, géneros modo comunicación extremadamente diverso compues...

The present study investigates how easily it can be detected whether a child is being truthful or not in a game situation, and it explores the cue validity of bodily movements for such type of classification. To achieve this, we introduce an innovative methodology - the combination of perception studies (in which eye-tracking technology is being used) and automated movement analysis. Film fragm...

-In this paper, a rule-based framework for formal hardware verification is presented. The PROVER system (PROduction system for hardware VERification) is implemented using CLIPS (C Language Integrated Production System). The environment supports verification at different levels of hardware specification. The rule-based framework has been tested on the design of high speed adders.

This paper presents a software skeleton system for experiments in integration and control of real time active vision systems. This skeleton has been constructed by a consortium of six laboratories as part of a long term basic research investigation of issues of integration and control of real time vision. The first chapter describes the problems of integration and control and the context for th...

To study the variation in emotional responses to stimuli, different methods have been developed to elicit emotions in a replicable way. Using video clips has been shown to be the most effective stimuli. However, the differences in cultural backgrounds lead to different emotional responses to the same stimuli. Therefore, we compared the emotional response to a commonly used emotion eliciting vid...