3385 search results - page 617 / 677 » Language, Logic, and the Brain |
ITS
2004
Springer
14 years 2 months ago
2004
Springer
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...
OTM
2004
Springer
14 years 2 months ago
2004
Springer
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 ļ¬...
PPDP
2004
Springer
14 years 2 months ago
2004
Springer
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...
SAT
2004
Springer
14 years 2 months ago
2004
Springer
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...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
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...