Sciweavers

1057 search results - page 167 / 212
» its 1998
Sort
View
IGPL
1998
97views more  IGPL 1998»
13 years 10 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
IJCV
1998
135views more  IJCV 1998»
13 years 10 months ago
A Multibody Factorization Method for Independently Moving Objects
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
João Paulo Costeira, Takeo Kanade
IJCV
1998
102views more  IJCV 1998»
13 years 10 months ago
Improved Diffuse Reflection Models for Computer Vision
There are many computational vision techniques that fundamentally rely upon assumptions about the nature of diffuse reflection from object surfaces consisting of commonly occurrin...
Lawrence B. Wolff, Shree K. Nayar, Michael Oren
IPL
1998
80views more  IPL 1998»
13 years 10 months ago
The Economics of Large-Memory Computations
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
Clark D. Thomborson
IS
1998
13 years 10 months ago
Information Modeling in the Time of the Revolution
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
John Mylopoulos