601 search results - page 58 / 121 » Simulation vs. Equivalence |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper is the second part of a series of two papers dealing with bulking: a way to define quasi-order on cellular automata by comparing space-time diagrams up to rescaling. In...
PRESENCE
2008
13 years 9 months ago
2008
To be immersed in a virtual environment, the user must be presented with plausible sensory input including auditory cues. A virtual (three-dimensional) audio display aims to allow...
ENTCS
2002
13 years 9 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
MCS
2010
Springer
13 years 7 months ago
2010
Springer
We show that sampling with a biased Metropolis scheme is essentially equivalent to using the heatbath algorithm. However, the biased Metropolis method can also be applied when an ...
PPSN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...