426 search results - page 65 / 86 » Towards Verifying Model Transformations |
DEXAW
2007
IEEE
14 years 4 months ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper analyzes the performance of a system architecture for the Authentication, Authorization, and Accounting (AAA), in a scenario where 3G users generate traffic and invo...
SRDS
2007
IEEE
14 years 4 months ago
2007
IEEE
The reliability of a large-scale storage system is influenced by a complex set of inter-dependent factors. This paper presents a comprehensive and extensible analytical framework ...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
CLEAR
2006
Springer
14 years 1 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...