This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
This paper describes the development of interactive electronic tool (etool) for learning Japanese Kanji (Chinese) characters; especially the stroke count and stroke order for writ...
In this paper, we explore the idea of Intelligent Learning Environment (ILE) by building a system for teaching and learning music in a web-based environment. Our system is a frame...
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
Abstract. This paper proposes a general local learning framework to effectively alleviate the complexities of classifier design by means of “divide and conquer” principle and ...