AI Memos (1959 - 2004): Recent submissions
Now showing items 298-300 of 1217
-
Automatic Recognition of Tractability in Inference Relations
(1990-02-01)A procedure is given for recognizing sets of inference rules that generate polynomial time decidable inference relations. The procedure can automatically recognize the tractability of the inference rules underlying ... -
Parallel Computation of Vernier Offsets, Curvature and Chevrons in Humans
(1989-12-01)A vernier offset is detected at once among straight lines, and reaction times are almost independent of the number of simultaneously presented stimuli (distractors), indicating parallel processing of vernier offsets. ... -
Computational Consequences of Agreement and Ambiguity in Natural Language
(1988-11-01)The computer science technique of computational complexity analysis can provide powerful insights into the algorithm-neutral analysis of information processing tasks. Here we show that a simple, theory-neutral linguistic ...
