Sciweavers

3238 search results - page 139 / 648
» On the Computational Interpretation of Negation
Sort
View
CHI
2003
ACM
16 years 6 months ago
Cognitive strategies and eye movements for searching hierarchical computer displays
This research investigates the cognitive strategies and eye movements that people use to search for a known item in a hierarchical computer display. Computational cognitive models...
Anthony J. Hornof, Tim Halverson
GCC
2004
Springer
15 years 12 months ago
Integrating Trust in Grid Computing Systems
A Grid computing system is a virtual resource framework. Inside the framework, resources are being shared among autonomous domains which can be geographically distributed. One prim...
Woodas W. K. Lai, Kam-Wing Ng, Michael R. Lyu
HUC
2004
Springer
15 years 12 months ago
MouseField: A Simple and Versatile Input Device for Ubiquitous Computing
Although various interaction technologies for handling information in the ubiquitous computing environment have been proposed, some techniques are too simple for performing rich in...
Toshiyuki Masui, Koji Tsukada, Itiro Siio
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
15 years 8 months ago
Constraint Logic: A Uniform Framework for Modeling Computation as Games
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
Erik D. Demaine, Robert A. Hearn
AAAI
2004
15 years 7 months ago
Spatial Aggregation for Qualitative Assessment of Scientific Computations
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
Chris Bailey-Kellogg, Naren Ramakrishnan