Sciweavers

343 search results - page 19 / 69
» Creative Design: Reasoning and Understanding
Sort
View
DIAGRAMS
2008
Springer
13 years 10 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...
ITS
2000
Springer
135views Multimedia» more  ITS 2000»
14 years 12 days ago
Analyzing and Generating Mathematical Models: An Algebra II Cognitive Tutor Design Study
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
Albert T. Corbett, Megan McLaughlin, K. Christine ...
IV
2007
IEEE
157views Visualization» more  IV 2007»
14 years 3 months ago
Towards a Model of Information Aesthetics in Information Visualization
This paper proposes a model of information aesthetics in the context of information visualization. It addresses the need to acknowledge a recently emerging number of visualization...
Andrea Lau, Andrew Vande Moere
POPL
2011
ACM
12 years 11 months ago
Pick your contexts well: understanding object-sensitivity
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhot...
PODS
2010
ACM
150views Database» more  PODS 2010»
14 years 1 months ago
Understanding queries in a search database system
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram R...