846 search results - page 10 / 170 » The Use of Z |
PRESENCE
2002
13 years 7 months ago
2002
In mixed reality, occlusions and shadows are important to realize a natural fusion between the real and virtual worlds. In order to achieve this, it is necessary to acquire dense ...
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
TRIDENTCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
CMS
2001
13 years 9 months ago
2001
BIBE
2010
IEEE
13 years 8 months ago
2010
IEEE