Sciweavers

1887 search results - page 89 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
UM
2005
Springer
15 years 8 months ago
Using Learning Curves to Mine Student Models
This paper presents an evaluation study that measures the effect of modifying feedback generality in an Intelligent Tutoring System (ITS) based on Student Models. A taxonomy of the...
Brent Martin, Antonija Mitrovic
139
Voted
IEEEHPCS
2010
15 years 1 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
122
Voted
CSL
2010
Springer
15 years 2 months ago
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
This paper explains how Partially Observable Markov Decision Processes (POMDPs) can provide a principled mathematical framework for modelling the inherent uncertainty in spoken di...
Steve Young, Milica Gasic, Simon Keizer, Fran&cced...
136
Voted
JUCS
2007
146views more  JUCS 2007»
15 years 2 months ago
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
Sinuhé Arroyo
130
Voted
AIED
2009
Springer
15 years 9 months ago
Student Knowledge Diagnosis Using Item Response Theory and Constraint-Based Modeling
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
Jaime Gálvez, Eduardo Guzmán, Ricard...