Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
In this paper, we present an efficient 3D shape rejection algorithm for unlabeled 3D markers. The problem is important in domains such as rehabilitation and the performing arts. T...
The curvature scale space (CSS) technique, which is also part of the MPEG-7 standard is a robust method to describe complex shapes.The central idea is to analyze the curvature of ...
Stephan Kopf, Thomas Haenselmann, Wolfgang Effelsb...
In this paper, we propose a novel technique for modelbased recognition of complex object motion trajectories using Gaussian Mixture Models (GMM). We build our models on Principal ...
Faisal I. Bashir, Ashfaq A. Khokhar, Dan Schonfeld