Feature-based process planning has been popular in academia and industry owing to its ability rigorously to integrate design and manufacturing. In spite of this benefit, feature-based process planning has been difficult to implement because it is not easy to extract even simple features from the design data automatically and efficiently. Furthermore, it is even more difficult to construct the t...

This paper describes a representation of the dynamics of human walking action for the purpose of person identification and classification by gait appearance. Our gait representation is based on simple features such as moments extracted from video silhouettes of human walking motion. We claim that our gait dynamics representation is rich enough for the task of recognition and classification. The...

Two original approaches to formal verification of hardware designs are introduced. In particular, we aim at model checking of circuits with multiple clocks and verification of parametrized hardware designs. Considering the former contribution, we introduce four methods which we use for modelling the clock domain crossing of a circuit. Models derived in such a way can then be model checked as us...

In this paper, we introduce optimal markers to be used with the SIFT and SURF feature detectors. They can be applied to trigger the detection of feature points at desired locations. Unlike conventional marker systems, we do not propose a standalone solution comprising a set of markers and a thereto adapted detection algorithm. Instead, our markers are adapted to existing and established detecto...

We study a dynamic coordination process in which agents are uncertain about the actions of their fellow agents, and anticipate strategically relevant information. Because of the uncertainty and learning, (ir)reversibility of actions has important strategic consequences. We find that the reversibility option can either enhance or hamper efficient coordination, and we characterize the direction o...

This paper presents an improved approach for indicating visually salient regions of an image based upon a known visual search task. The proposed approach employs a robust model of instantaneous visual attention (i.e. “bottom-up”) combined with a pixel probability map derived from the automatic detection of a previously-seen object (task-dependent i.e. (“top-down”). The objects to be recognized ...

this study aimed at investigating the english textese of iranian efl learners by scrutinizing the linguistic features through a qualitative design. in doing so, 700 messages were collected from 43 ma iranian efl learners of both genders. the features were categorized and analyzed calculating the frequency and percentage. the findings of the study showed that iranian efl students used different ...