Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
Galia Angelova, Ognian Kalaydjiev, Albena Strupcha...
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespeciļ¬ed number of tries, each starting with an eleme...
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design veriļ¬cation continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...