Sciweavers

325 search results - page 18 / 65
» Thinking with external representations
Sort
View
DIAGRAMS
2008
Springer
13 years 9 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
ENTCS
2008
91views more  ENTCS 2008»
13 years 7 months ago
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
Malte Appeltauer, Günter Kniesel
JOCN
2010
108views more  JOCN 2010»
13 years 6 months ago
Refreshing and Integrating Visual Scenes in Scene-selective Cortex
■ Constructing a rich and coherent visual experience involves maintaining visual information that is not perceptually available in the current view. Recent studies suggest that ...
Soojin Park, Marvin M. Chun, Marcia K. Johnson
CONTEXT
2007
Springer
14 years 1 months ago
Between Symbol and Language-in-use
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
Emma Tonkin
CHI
2006
ACM
14 years 8 months ago
The paradox of the assisted user: guidance can be counterproductive
This paper investigates the influence of interface styles on problem solving performance. It is often assumed that performance on problem solving tasks improves when users are ass...
Christof van Nimwegen, Daniel D. Burgos, Herre van...