846 search results - page 10 / 170 » The Use of Z |
116
click to vote
PRESENCE
2002
15 years 1 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 ...
113
Voted
AMAI
2010
Springer
14 years 11 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...
65
Voted
TRIDENTCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
86
Voted
CMS
2001
15 years 3 months ago
2001
BIBE
2010
IEEE
15 years 2 months ago
2010
IEEE