Sciweavers

488 search results - page 5 / 98
» Two-Stage Machine Learning model for guideline development
Sort
View
ECTEL
2006
Springer
13 years 11 months ago
Semantic Modelling of Learning Objects and Instruction
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
Claus Pahl, Mark Melia
ICALT
2006
IEEE
14 years 1 months ago
Blog as a Tool to Develop e-Learning Experience in an International Distance Course
This paper describes the implementation of blog system in an international distance course between Japan and Taiwan. In the study, blog was used as a tool to encourage students’...
Wei-Jane Lin, Hsiu-Ping Yueh, Yi-Ling Liu, Masayuk...
COMPSAC
2007
IEEE
14 years 1 months ago
Learning Parameterized State Machine Model for Integration Testing
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
14 years 2 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Kriangsak Damchoom, Michael J. Butler
ICTAI
2007
IEEE
14 years 1 months ago
ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
Yunsong Guo, Bart Selman