3169 search results - page 501 / 634 » Robust Timed Automata |
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper addresses the challenging problem of statistics on images by describing average and variability. We describe computational anatomy tools for building 3-D and spatio-tem...
AUIC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
ECBS
2006
IEEE
14 years 3 months ago
2006
IEEE
The motivation and objective for this paper is to demonstrate “Personal High Performance Computing (PHPC)”, which requires only a smaller number of computers, resources and sp...