Sciweavers

4488 search results - page 701 / 898
» Properties of NP-Complete Sets
Sort
View
ICCV
1995
IEEE
15 years 9 months ago
Segmented Shape Descriptions from 3-View Stereo
Abstract: We address the recovery of segmented, 3-0 descriptions of an object from intensity images. We use three views of an objectfrom slightly different viewpointsas our input. ...
Parag Havaldar, Gérard G. Medioni
ICDT
1995
ACM
79views Database» more  ICDT 1995»
15 years 9 months ago
Optimization Using Tuple Subsumption
A tuple t1 of relation R subsumes tuple t2 of R, with respect to a query Q if for every database, tuple t1 derives all, and possibly more, answers to query Q than derived by tuple ...
Venky Harinarayan, Ashish Gupta
LPNMR
1995
Springer
15 years 9 months ago
Skeptical Rational Extensions
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
Artur Mikitiuk, Miroslaw Truszczynski
PODC
1995
ACM
15 years 9 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
SC
1995
ACM
15 years 9 months ago
A Performance Evaluation of the Convex SPP-1000 Scalable Shared Memory Parallel Computer
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
Thomas L. Sterling, Daniel Savarese, Peter MacNeic...