NGOMSL - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2002-10-22 08:16:08 GOMS Design Keystroke-level model Technology Usability User interface Human factors GOM Heuristic Human–computer interaction NGOMSL Humanâ€“computer interaction		Add to Reading List Source URL: www.idemployee.id.tue.nl Download Document from Source Website File Size: 106,16 KB Share Document on Facebook

	Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607 DocID: 1xTJu - View Document
	Problem Difficulty and the Phase Transition in Heuristic Search Eldan Cohen and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Toronto, Canada {ecohen, jcb}@mie.utoronto.ca DocID: 1vf9m - View Document
	AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology DocID: 1uLt2 - View Document
	A Heuristic-Based Approach for Planning Federated SPARQL Queries Gabriela Montoya1 , Maria-Esther Vidal1 , and Maribel Acosta1,2 1 2 DocID: 1uGfs - View Document
	An Effective Implementation of the Lin-Kernighan Traveling Salesman Heuristic Keld Helsgaun E-mail: Department of Computer Science Roskilde University DocID: 1uC4Z - View Document