Interactive proof system
Interactive proof system In computational complexity theory, an interactive proof system is an abstract machine that ...
http://en.wikipedia.org/wiki/Interactive_proof_system - 27k - Cached - Similar pages

Talk:Interactive proof system
Talk:Interactive proof system Hmmm. I'm certainly not an expert ... surprising they are, and how they link interactive proof systems together with traditional machines. They' ...
http://en.wikipedia.org/wiki/Talk:Interactive_proof_system - 3k - Cached - Similar pages

Interactive proof
Interactive proof For interactive proof, see interactive proof system or interactive theorem proving. ...
http://en.wikipedia.org/wiki/Interactive_proof - 0k - Cached - Similar pages

Theorem proof   (translated from German)
Theorem proof Theorem proofs (also: machine-supported proving, or ... calculus the problem is decidable (Dh. a proof is always generatably if the theorem is ... A simpler, but related problem is those Proof examination, where for a given formal proof one tests, whether it actually proves a given theorem. For this each individual proof step must be only tested, which ...
http://de.wikipedia.org/wiki/Theorembeweis - 6k - Cached (German) - Wikipedia (German) - Similar pages

Zero-knowledge proof
Zero-knowledge proof In cryptography, a zero-knowledge proof or zero-knowledge protocol is an interactive method for one party to prove to ... veracity of the statement. A zero-knowledge proof must satisfy three properties: Completeness: if the ... of these are properties of more general interactive proof systems. The third is what ...
http://en.wikipedia.org/wiki/Zero-knowledge_proof - 28k - Cached - Similar pages

Talk:Interactive fiction
Talk:Interactive fiction As regards this: Secondary Definition Sometimes Interactive Fiction is used to describe a method ... that way [1]. However, in literary academia, "Interactive Fiction" is commonly used to refer to ... between writers and readers is unclear. Oddly, Interactive Fiction in the sense addressed in this ... book Twisty Little Passages: An Approach to Interactive Fiction [2] is a at least ...
http://en.wikipedia.org/wiki/Talk:Interactive_fiction - 39k - Cached - Similar pages

Chronological list of Famicom games
... all games released for the Famicom Disk System. For the list of Nintendo Family Computer ... Japan and Asia for the Famicom Disk System are in the List of Famicom Disk System games. All of these games have been ... Golf 02/21/86 Nintendo Famicom Disk System release Soccer 02/21/86 Nintendo Famicom Disk System release Super Mario Bros. 02/21/ ...
http://en.wikipedia.org/wiki/Chronological_list_of_Famicom_games - 168k - Cached - Similar pages

IP (complexity)
IP (complexity) Interactive Proof Systems In computational complexity theory, the class ... the class of problems solvable by an interactive proof system. The concept of an interactive proof ...
http://en.wikipedia.org/wiki/IP_(complexity) - 42k - Cached - Similar pages

DIN VDE standards part of 8   (translated from German)
... 10 DIN VDE 0800-2-548 Electrical system of buildings - part of 5: Selection and ... 06 DIN EN 50090-2-2 Electrical system engineering for home and building (ESHG) - part of 2-2: System configuration general one technical requirements German version ... DIN EN 50090-2-2 A1 Electrical system engineering for home and building (ESHG) - part of 2-2: System configuration general one technical requirements German ...
http://de.wikipedia.org/wiki/DIN-VDE-Normen_Teil_8 - 147k - Cached (German) - Wikipedia (German) - Similar pages

Talk:Neuro-linguistic programming/ archive6
... go round in circles. The burden of proof rests upon the NLP promoters, and they ... That's unfortunate Headley. The burden of proof rests on the person making the claim ... Development", Social Science, and Medicine? The "Syntax" system derived from "eye patterning" movements is more ... science is (after looking at the NLP system) one looks at the neurological studies done ... of the "collapse of the ((mental)) health system". At the last minute, apparently, it' ...
http://en.wikipedia.org/wiki/Talk:Neuro-linguistic_programming/_archive6 - 801k - Cached - Similar pages