1240 search results - page 132 / 248 » Automatic 3D Modelling of Architecture |
ISMAR
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a model-based hybrid tracking system for outdoor augmented reality in urban environments enabling accurate, realtime overlays for a handheld device. The system...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
MCS
2001
Springer
14 years 1 months ago
2001
Springer
We provide several enhancements to our previously introduced algorithm for a sequential construction of a hybrid network of radial and perceptron hidden units [6]. At each stage, ...
SI3D
2006
ACM
14 years 3 months ago
2006
ACM
Motion capture data from human subjects exhibits considerable redundancy. In this paper, we propose novel methods for exploiting this redundancy. In particular, we set out to find...
WSC
2000
13 years 10 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...