1816 search results - page 132 / 364 » Formal Concepts of Learning Systems Validation in Use |
173
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
181
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
196
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
179
click to vote
ICALT
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
183
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...