37217 search results - page 7358 / 7444 » or 2010 |
109
Voted
VRST
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we present the first method to geometrically register multiple projectors on a swept surface (e.g. a truncated dome) using a single uncalibrated camera without usin...
178
Voted
VRST
2010
ACM
14 years 10 months ago
2010
ACM
While tracking technologies based on fiducial markers have dominated the development of Augmented Reality (AR) applications for almost a decade, various real-time capable approach...
123
Voted
VRST
2010
ACM
14 years 10 months ago
2010
ACM
Physical characteristics and constraints of today's head-mounted displays (HMDs) often impair interaction in immersive virtual environments (VEs). For instance, due to the li...
116
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
102
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...