Sciweavers

4636 search results - page 359 / 928
» Modelling and Validation with VipTool
Sort
View
ATAL
2004
Springer
15 years 10 months ago
Analysis of a Stochastic Model of Adaptive Task Allocation in Robots
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
Aram Galstyan, Kristina Lerman
SACRYPT
2004
Springer
143views Cryptology» more  SACRYPT 2004»
15 years 10 months ago
Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
Pierre-Alain Fouque, Antoine Joux, Guillaume Poupa...
UML
2004
Springer
15 years 10 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin
GREC
2003
Springer
15 years 9 months ago
Model-Based Chart Image Recognition
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
Weihua Huang, Chew Lim Tan, Wee Kheng Leow
AIPR
2002
IEEE
15 years 9 months ago
ICA Mixture Model based Unsupervised Classification of Hyperspectral Imagery
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...
Chintan A. Shah, Manoj K. Arora, Stefan A. Robila,...