Automated simplification of trigonometric expressions is an important problem that hasn't been completely solved by current computer algebra systems. This paper presents a number of unique prescriptions for the ordering of some trigonometric transformation rules, which have been derived by observing how human experts follow their intuitive rules. We have… (More)
This paper presents research work conducted at Chinese Academy of Sciences, on the Vega Grid technology and dynamic geometry technology, and how the two can integrate to provide a dynamic geometry education system based on grid technology.
An intelligent tutoring system plays vital role in education and its importance is constantly increasing, meanwhile the key challenge in the teaching learning process is assessing students' learning efficiently. In this paper, a hybrid assessment based-on ACT-R cognitive learning theory, combining ontology knowledge map with skills is proposed. In order to… (More)
—This paper aims to solve the two major issues existing in current color quantization algorithms. The first one is to require users to specify the number of representative colors in advance; the other is that it is difficult in choosing the colors to describe accurately the essential details represented by small groups of pixels isolated in the color space.… (More)