Sciweavers

4636 search results - page 406 / 928
» Modelling and Validation with VipTool
Sort
View
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
16 years 1 months ago
One Click Focus with Eye-in-hand/Eye-to-hand Cooperation
— A critical assumption of many multi-view control systems is the initial visibility of the regions of interest from all the views. An initialization step is proposed for a hybri...
Claire Dune, Éric Marchand, Christophe Lero...
ICANN
2007
Springer
16 years 1 months ago
Probabilistic Video-Based Gesture Recognition Using Self-organizing Feature Maps
Present work introduces a probabilistic recognition scheme for hand gestures. Self organizing feature maps are used to model spatiotemporal information extracted through image proc...
George Caridakis, Christos Pateritsas, Athanasios ...
IFIP
2007
Springer
16 years 1 months ago
Saturation Throughput Analysis of IEEE 802.11g (ERP-OFDM) Networks
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
Krzysztof Szczypiorski, Józef Lubacz
DSRT
2005
IEEE
16 years 17 days ago
A MDA-based approach for real time embedded systems simulation
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
Julien DeAntoni, Jean-Philippe Babau
ZUM
2005
Springer
140views Formal Methods» more  ZUM 2005»
16 years 13 days ago
An Object-Oriented Structuring for Z Based on Views
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
Nuno Amálio, Fiona Polack, Susan Stepney