3976 search results - page 116 / 796 » Machine Learning in User Modeling |
137
Voted
EUROGP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
116
click to vote
ICALT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
171
click to vote
WSDM
2010
ACM
16 years 2 months ago
2010
ACM
Tagging plays an important role in many recent websites. Recommender systems can help to suggest a user the tags he might want to use for tagging a specific item. Factorization mo...
125
click to vote
ICALT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a neuro-fuzzy system that can be used for student modeling. The proposed system enables classification of students based on qualitative observations of their c...
128
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
Up to date, there is no standardized notation scheme for modeling SCORM-conformant contents. It is a time-consuming process to build up a new and widely-acceptable notation scheme...