5707 search results - page 378 / 1142 » Symbolic Simulation - Techniques and Applications |
150
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
168
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper provides a power-margin-based measure of the quality of computer-generated random variates having a distribution that derives from the multivariate Gaussian distribut...
139
click to vote
GI
2005
Springer
16 years 1 months ago
2005
Springer
: We present an application of a multi hypothesis tracking (MHT) algorithm to the case of ground moving targets detected by GMTI (Ground Moving Target Indicator) radar sensors. The...
225
click to vote
KES
2005
Springer
16 years 1 months ago
2005
Springer
With a continuing improvement in the capabilities of intelligence per unit of energy, we should reconsider the organisation of sensor networks. We contend that solutions should be ...
230
click to vote
DSRT
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes the general system and software architecture for the Internet-based robotic teleoperation system using virtual reality tools. The existing technology and appl...