Sciweavers

5077 search results - page 772 / 1016
» Perspectives on grid computing
Sort
View
TPHOL
2003
IEEE
15 years 12 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters
SI3D
1999
ACM
15 years 11 months ago
Image-based objects
We present a compact, image-based representation for threedimensional objects with complex shapes that can be rendered with correct perspective from arbitrary viewpoints using a l...
Manuel M. Oliveira, Gary Bishop
HUC
1999
Springer
15 years 11 months ago
Exploring Brick-Based Navigation and Composition in an Augmented Reality
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects ...
Morten Fjeld, Fred Voorhorst, Martin Bichsel, Kris...
CVPR
1997
IEEE
15 years 11 months ago
Feature Tracking from an Image Sequence Using Geometric Invariants
In this paper two new feature tracking algorithms are proposed. In the first algorithm, a perspective camera model is used. Making use of the projective inuariant of Barrett, and ...
Hung-Tat Tsui, Zhong-Ying Zhang, Shao-Hua Kong
CONCUR
1993
Springer
15 years 10 months ago
Loop Parallelization in the Polytope Model
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
Christian Lengauer