San Francisco / Boston / New York / Paris / Berlin / Cambridge / Lambeth / A Trace / Hillsdale / /
Company
Harper & Row Publishers Inc. / Adobe / MIT Press / Zoran / Singapore Math Inc. / Infosys / Morgan Kaufmann Publishers Inc. / Addison-Wesley Longman Publishing Co. Inc. / Harvard University Press / Intel / Microsoft / /
Country
Norway / France / United States / United Kingdom / /
Currency
USD / / /
Facility
Apple App Store / University of Washington / /
IndustryTerm
procedural algorithm / software engineering / learning systems / learning software / intelligent tutoring systems / test input generation tool / software engineering literature / constraint systems / cognitive tutor authoring tools / software engineering community / energy / solution generation technology / imaginary solutions / addition algorithm / user applications / search engines / natural language processing / test input generation tools / constrainable level design automation tools / software testing / software learnability / /
Organization
University of Washington / office of Naval Research / Harvard University / MIT / Melinda Gates Foundation / Hewlett Foundation / Center for Game Science / /
Person
David Yamanoha / Morgan Kaufmann / S. Gulwani / V / Lawrence Erlbaum / Ryoko Nozawa / /
Position
intelligent tutor for basic algebra / General / player / intelligent tutor / Senator / elementary school / cognitive tutor / Author / teacher / designer / intelligent tutor for algebra / /
A Trace-based Framework for Analyzing and Synthesizing Educational Progressions Erik Andersen1 , Sumit Gulwani2 , and Zoran Popovi´c1 2 1 Microsoft Research