Sciweavers

5964 search results - page 88 / 1193
» A theory of speculative computation
Sort
View
SIAMCOMP
2000
106views more  SIAMCOMP 2000»
15 years 4 months ago
Computationally Sound Proofs
This paper puts forward a new notion of a proof based on computational complexity and explores its implications for computation at large. Computationally sound proofs provide, in a...
Silvio Micali
ICCV
2003
IEEE
16 years 6 months ago
A Theory of Multiplexed Illumination
Yoav Y. Schechner, Shree K. Nayar, Peter N. Belhum...
CHI
2007
ACM
16 years 4 months ago
On nurturing strong-tie distant relationships: from theory to prototype
Cristina Hoffmann, Sylvie Jumpertz, Bernard Marque...
SIBGRAPI
2000
IEEE
15 years 8 months ago
A Control Theory Approach for Real-Time Animation of Artificial Agents
Fernando Wagner da Silva, Luiz-Marcos Garcia, Rica...
SC
1992
ACM
15 years 8 months ago
An Algebraic Theory for Modeling Direct Interconnection Networks
S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Je...