Sciweavers

478 search results - page 53 / 96
» Computational thinking and thinking about computing
Sort
View
PODC
2003
ACM
14 years 2 months ago
Automatic discovery of mutual exclusion algorithms
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
Yoah Bar-David, Gadi Taubenfeld
COSIT
2007
Springer
126views GIS» more  COSIT 2007»
14 years 27 days ago
Evaluation of a Semantic Similarity Measure for Natural Language Spatial Relations
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
Angela Schwering
EXACT
2008
13 years 11 months ago
Deriving Explanations From Partial Temporal Information
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
Jixin Ma, Brian Knight, Miltos Petridis
CG
2004
Springer
13 years 8 months ago
Hierarchical graph maps
nd maps are powerful abstractions. Their combination, Hierarchical Graph Maps, provide effective tools to process a graph that is too large to fit on the screen. They provide hier...
James Abello
SI3D
1997
ACM
14 years 1 months ago
Attention and Visual Feedback: The Bimanual Frame of Reference
We investigate the synergy of the two hands for virtual object manipulation. We report results from an experiment which suggest that the two hands together provide sufficient per...
Ken Hinckley, Randy F. Pausch, Dennis Proffitt