Sciweavers

4172 search results - page 465 / 835
» Computing Machinery and Understanding
Sort
View
CHI
2006
ACM
16 years 7 months ago
Sashay: designing for wonderment
No longer confined to our offices, schools, and homes, technology is expanding at an astonishing rate across our everyday public urban landscapes. From the visible (mobile phones,...
Eric Paulos, Chris Beckmann
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
16 years 6 days ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
NPIV
1998
ACM
108views Visualization» more  NPIV 1998»
15 years 11 months ago
Visualization for situation awareness
We explore techniques from visualization and computational geometry to make tactical information more intuitive to a military commander. To be successful, the commander must quick...
C. M. Hoffman, Y.-J. Kim, R. P. Winkler, J. D. Wal...
BIRTHDAY
2006
Springer
15 years 10 months ago
Some Varieties of Equational Logic
d Abstract) Gordon Plotkin1, LFCS, School of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science has long been a major the...
Gordon D. Plotkin
GI
2007
Springer
16 years 1 months ago
KiMM - Lernen und Verstehen mit Tangible Media
Abstract: Bezugnehmend auf das McLuhan’sche Postulat der Medien als menschliche Extensionen werden praktische Beispiele der Entwicklung von Tangible Media und deren konkreter Eins...
Thomas Winkler, Michael Herczeg