Sciweavers

51 search results - page 2 / 11
» interact 1990
Sort
View
FOCS
1990
IEEE
13 years 11 months ago
Randomness in Interactive Proofs
Mihir Bellare, Oded Goldreich, Shafi Goldwasser
VISUALIZATION
1990
IEEE
13 years 11 months ago
Interactive Visualization of Quaternion Julia Sets
John C. Hart, Louis H. Kauffman, Daniel J. Sandin
FOCS
1990
IEEE
13 years 11 months ago
Algebraic Methods for Interactive Proof Systems
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
Carsten Lund, Lance Fortnow, Howard J. Karloff, No...
MVA
1990
129views Computer Vision» more  MVA 1990»
13 years 8 months ago
An Interactive Colour Line Recognition System for Seismic Section Digitisation
In this paper, we describe a commercial vision system for the digitisation and extraction of horizons drawn with coloured pencils on seismic sections. The system combines image pr...
Jonathan Shapiro, Jin Zhengping