4217 search results - page 112 / 844 » Computational indistinguishability logic |
CVPR
1999
IEEE
16 years 12 hour ago
1999
IEEE
Background estimation and removal based on the joint use of range and color data produces superior results than can be achieved with either data source alone. This is increasingly...
SIGGRAPH
1997
ACM
15 years 2 months ago
1997
ACM
Our goal is to develop physically based lighting models and perceptually based rendering procedures for computer graphics that will produce synthetic images that are visually and ...
239
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
ENTCS
2006
14 years 10 months ago
2006
The -calculus is destructive: its main computational mechanism
CSR
2010
Springer
15 years 2 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : Ï•(t), which have self-referential meanings. In this paper, “prehistoric phenomenaâ€...