1645 search results - page 187 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
ITS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
MODELS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
CMSB
2008
Springer
14 years 11 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
101
click to vote
TABLEAUX
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Domain knowledge for web applications is currently being made available as domain ontology with the advent of the semantic web, in which semantics govern relationships am...