10159 search results - page 1885 / 2032 » System Design Validation Using Formal Models |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— To close the loop between motion and vision, tracked visual features must remain in the camera field of view (visibility constraint). To overcome the visibility constraint, vi...
ICDM
2003
IEEE
14 years 1 months ago
2003
IEEE
The scalability problem in data mining involves the development of methods for handling large databases with limited computational resources. In this paper, we present a two-phase...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
COGSR
2010
13 years 3 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...