611 search results - page 60 / 123 » Relative simulation and model checking of real-time processe... |
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Human saccade is a dynamic process of information pursuit. Based on the principle of information maximization, we propose a computational model to simulate human saccadic scanpath...
IEAAIE
2009
Springer
14 years 3 months ago
2009
Springer
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
IWSOC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
CIA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...