Search Sciweavers | Sciweavers

5964 search results - page 88 / 1193

» A theory of speculative computation

139

click to vote

SIAMCOMP
2000

106views more SIAMCOMP 2000»

Computationally Sound Proofs

15 years 4 months ago

Download people.csail.mit.edu

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

claim paper

Read More »

113

click to vote

ICCV
2003
IEEE

141views Computer Vision» more ICCV 2003»

A Theory of Multiplexed Illumination

16 years 6 months ago

Download webee.technion.ac.il

Yoav Y. Schechner, Shree K. Nayar, Peter N. Belhum...

claim paper

Read More »

click to vote

CHI
2007
ACM

142views Human Computer Interaction» more CHI 2007»

On nurturing strong-tie distant relationships: from theory to prototype

16 years 4 months ago

Download www.takebay.net

Cristina Hoffmann, Sylvie Jumpertz, Bernard Marque...

claim paper

Read More »

108

click to vote

SIBGRAPI
2000
IEEE

94views Computer Graphics» more SIBGRAPI 2000»

A Control Theory Approach for Real-Time Animation of Artificial Agents

15 years 8 months ago

Download sibgrapi.sid.inpe.br

Fernando Wagner da Silva, Luiz-Marcos Garcia, Rica...

claim paper

Read More »

106

click to vote

SC
1992
ACM

109views Applied Computing» more SC 1992»

An Algebraic Theory for Modeling Direct Interconnection Networks

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers