Gazing: An Approach to the Problem of Definition and Lemma Use.

Dave Barker-Plummer

Published in: J. Autom. Reason. (1992)

Keyphrases

eye movements
three dimensional
objective function
digital libraries
evolutionary algorithm
johnson lindenstrauss