Searching for authors named "Noboru Matsuda" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

GRAMY: A Geometry Theorem Prover Capable of Construction
by Noboru Matsuda, Kurt Vanlehn — Journal of Automated Reasoning
… in the Netherlands. GRAMY: A Geometry Theorem Prover Capable of Construction NOBORU MATSUDA and KURT VANLEHN…
Cited by 4 (1 self) – Add To MetaCart

Modelling hinting strategies for geometry theorem proving
by Noboru Matsuda, Kurt Vanlehn — 2003 — In Proceedings of the 9th International Conference on User Modeling
…Modeling Hinting Strategies for Geometry Theorem Proving Noboru Matsuda 1 and Kurt Van…
Cited by 12 (0 self) – Add To MetaCart

Advanced Geometry Tutor: an Intelligent Tutor that Teaches Proof-Writing with Construction
by Noboru Matsuda, Kurt Vanlehn — 2005 — Artificial Intelligence in
…-Writing with Construction Noboru Matsuda Kurt VanLehn Human-Computer Interaction Institute Learning Research and Development…
Cited by 3 (0 self) – Add To MetaCart

Building Cognitive Tutors with Programming by Demonstration
by Noboru Matsuda, William W. Cohen, Kenneth R. Koedinger — 2005 — In S. Kramer & B. Pfahringer (Eds.), Technical report: TUM-I0510 (Proceedings of the International Conference on Inductive Logic Programming) (pp. 41-46): Institut fur Informatik, Technische Universitat Munchen
… Universitat Munchen. Building Cognitive Tutors with Programming by Demonstration Noboru Matsuda, William W…
Cited by 2 (1 self) – Add To MetaCart

Applying Machine Learning to Cognitive Modeling for Cognitive Tutors
by Noboru Matsuda, Noboru Matsuda, William W. Cohen, William W. Cohen, Jonathan Sewall, Jonathan Sewall, Kenneth R. Koedinger, Kenneth R. Koedinger — School of Computer Science, Carnegie Mellon University
…Applying Machine Learning to Cognitive Modeling for Cognitive Tutors Noboru Matsuda, William W…
Cited by 2 (2 self) – Add To MetaCart

Tutoring Systems Why Tutored Problem Solving may be better than Example Study: Theoretical Implications from a Simulated-Student Study
by Noboru Matsuda, William W. Cohen, Jonathan Sewall, Gustavo Lacerda, Kenneth R. Koedinger
… Noboru Matsuda 1 , William W. Cohen 2 , Jonathan Sewall 1 , Gustavo Lacerda 2 , and Kenneth R. Koedinger…
Add To MetaCart

Evaluating a Simulated Student using Real Students Data for Training and Testing
by Noboru Matsuda, William W. Cohen, Jonathan Sewall, Gustavo Lacerda, Kenneth R. Koedinger — in Proceedings of the International Conference on User Modeling. 2007
…) Evaluating a Simulated Student using Real Students Data for Training and Testing * Noboru Matsuda 1 , William…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB