1509 search results - page 254 / 302 » Depth from Scattering |
107
click to vote
FOCS
1998
IEEE
15 years 4 months ago
1998
IEEE
We prove an exponential lower bound for tree-like Cutting Planes refutations of a set of clauses which has polynomial size resolution refutations. This implies an exponential sepa...
103
click to vote
ITS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
99
Voted
ICPP
1995
IEEE
15 years 4 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
103
Voted
SIGGRAPH
1991
ACM
15 years 4 months ago
1991
ACM
Direct volume rendering o ers the opportunity to visualize all of a three-dimensional sample volume in one image. However, processing such images can be very expensive and good qu...
145
Voted
STOC
1991
ACM
15 years 4 months ago
1991
ACM
d Abstract) James Aspnes Maurice Herlihyy Nir Shavitz Digital Equipment Corporation Cambridge Research Lab CRL 90/11 September 18, 1991 Many fundamental multi-processor coordinati...