Sciweavers

51 search results - page 2 / 11
» interact 1990
Sort
View
FOCS
1990
IEEE
13 years 9 months ago
Randomness in Interactive Proofs
Mihir Bellare, Oded Goldreich, Shafi Goldwasser
VISUALIZATION
1990
IEEE
13 years 9 months ago
Interactive Visualization of Quaternion Julia Sets
John C. Hart, Louis H. Kauffman, Daniel J. Sandin
FOCS
1990
IEEE
13 years 9 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 6 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