A Closer Look at Pure-Text Human-Interaction Proofs.

Hakan Ezgi Kiziloz Kemal Bicakci

Published in: IEEE Trans. Hum. Mach. Syst. (2017)

Keyphrases

human interaction
human computer interaction
human interactions
text retrieval
information retrieval
text mining
theorem proving
physical environment
external information
database
multi modal
theorem prover
metadata
expert systems
hidden markov models
software engineering