611 search results - page 79 / 123 » Relative simulation and model checking of real-time processe... |
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
13 years 8 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
WSC
2007
13 years 11 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
MM
2004
ACM
14 years 2 months ago
2004
ACM
This paper considers the problems of feature variation and concept uncertainty in typical learning-based video semantic classification schemes. We proposed a new online semantic c...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...