287 search results - page 23 / 58 » Mixed Strand Spaces |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
VR
2010
IEEE
13 years 3 months ago
2010
IEEE
We present a prototype mobile augmented reality client addition to the "Image Space" mixed reality media sharing service. We have explored how the real world aligned &qu...
NIPS
2004
13 years 10 months ago
2004
We discuss an identification framework for noisy speech mixtures. A block-based generative model is formulated that explicitly incorporates the time-varying harmonic plus noise (H...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: Mixed Reality Auto Racing is game for two to four players. The track is built from tangible objects (e. g. little cardboard houses) by the players and can be changed and rebuilt ...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...