Sciweavers

1816 search results - page 21 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
ISNN
2007
Springer
14 years 2 months ago
A Cognitive Model of Concept Learning with a Flexible Internal Representation System
In the human mind, high-order knowledge is categorically organized, yet the nature of its internal representation system is not well understood. While it has been traditionally con...
Toshihiko Matsuka, Yasuaki Sakamoto
ICALT
2006
IEEE
14 years 2 months ago
Using Ontologies to Model and Execute IMS Learning Design Documents
This paper briefly describes how ontologies can be used to model, validate and execute IMS Learning Design. The main contribution relies on incorporate the implicit knowledge foun...
Ricardo R. Amorim, Manuel Lama, Eduardo Sán...
ICGI
2010
Springer
13 years 5 months ago
Learning Context Free Grammars with the Syntactic Concept Lattice
The Syntactic Concept Lattice is a residuated lattice based on the distributional structure of a language; the natural representation based on this is a context sensitive formalism...
Alexander Clark
AGTIVE
2007
Springer
14 years 13 days ago
Visualization, Simulation and Analysis of Reconfigurable Systems
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
Claudia Ermel, Karsten Ehrig
CSEE
2000
Springer
14 years 23 days ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...