601 search results - page 17 / 121 » Simulation vs. Equivalence |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called f...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In multi-input multi-output (MIMO) detection, semidefinite relaxation (SDR) has been shown to be an efficient high-performance approach. For BPSK and QPSK, it has been found that S...
WSC
1997
13 years 11 months ago
1997
This paper presents an investigation of three simulation packages: VS7, SIMAN/CINEMA IV, and SIMFACTORY II.5. These packages were investigated with regard to their capabilities of...
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
The stories vs. games debate has been prominent during the early years of game studies, and few other perspectives have been introduced to the discussion. In the paper, Game Resea...
COLCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
In collaboration architectures, a computer must perform both processing and transmission tasks. Intuitively, it seems that these independent tasks should be executed in concurrent ...