5707 search results - page 392 / 1142 » Symbolic Simulation - Techniques and Applications |
253
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
203
click to vote
SC
1994
ACM
15 years 11 months ago
1994
ACM
PARAMICS is a PARAllel MICroscopic Traffic Simulator which is, to our knowledge, the most powerful of its type in the world. The simulator can model around 200,000 vehicles on aro...
186
click to vote
AAAI
2006
15 years 9 months ago
2006
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
200
click to vote
WSC
2001
15 years 9 months ago
2001
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...
259
click to vote
PE
2002
Springer
15 years 7 months ago
2002
Springer
In this paper, we study the use of continuous-time hidden Markov models (CT-HMMs) for network protocol and application performance evaluation. We develop an algorithm to infer the...