Open AccessA Proposal of Human Interactive Proof in the Text Domain
Author(s) -
Pablo Ximenes,
André dos Santos,
Marcial Porto Fernández,
Joaquim Celestino
Publication year - 2005
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/sbseg.2005.21543
Subject(s) - computer science , proof of concept , domain (mathematical analysis) , proof assistant , human–computer interaction , natural language , natural (archaeology) , natural language generation , artificial intelligence , natural language processing , mathematics , mathematical analysis , geometry , mathematical proof , operating system , archaeology , history