5664 search results - page 408 / 1133 » Creativity support tools |
165
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
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. ...
149
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
217
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
173
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Internet users face challenges in evaluating the validity of online information. Such evaluation is not adequately supported by current tools; we outline some of the shortcomings ...
200
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Collaboration on Web search is common in many domains, such as education and knowledge work; recently, HCI researchers have begun to introduce prototype collaborative search tools...