748 search results - page 33 / 150 » Automatic Presentations and Semigroup Constructions |
HIM
1997
Springer
13 years 11 months ago
1997
Springer
The growing popularity of hypertext navigation systems and the availability of large documentary databases is leading to the design of navigation systems that allow to explore the...
CGI
2009
IEEE
13 years 11 months ago
2009
IEEE
We present an approach to automatically register a large set of color images to a 3D geometric model. The problem arises from the modeling of real-world environments, where surfac...
MMM
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. Can we discover audio-visually consistent events from videos in a totally unsupervised manner? And, how to mine videos with different genres? In this paper we present our...
CVPR
2009
IEEE
13 years 11 months ago
2009
IEEE
Fusion of 3D laser radar (LIDAR) imagery and aerial optical imagery is an efficient method for constructing 3D virtual reality models. One difficult aspect of creating such models...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...