Sciweavers

6846 search results - page 373 / 1370
» Developing an Active Observer
Sort
View
UML
2001
Springer
15 years 11 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ERSHOV
2009
Springer
15 years 4 months ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
ICIP
2008
IEEE
16 years 8 months ago
Activity-based temporal segmentation for videos of interacting objects using invariant trajectory features
This paper presents a content-based approach for temporal segmentation of videos. Tracked objects are characterized by their 2D trajectories which are used in a meaningful way to ...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
ICIP
2006
IEEE
16 years 8 months ago
Acoustic Range Image Segmentation by Effective Mean Shift
Image perception in underwater environment is a difficult task for a human operator, and data segmentation becomes a crucial step toward an higher level interpretation and recogni...
Umberto Castellani, Marco Cristani, Vittorio Murin...
ICIP
2003
IEEE
16 years 8 months ago
Image features that draw fixations
The ability to automatically detect `visually interesting' regions in an image has many practical applications especially in the design of active machine vision systems. This...
Umesh Rajashekar, Lawrence K. Cormack, Alan C. Bov...