8970 search results - page 323 / 1794 » Learning to Learn Causal Models |
178
click to vote
EUROGP
2007
Springer
16 years 28 days 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. ...
147
click to vote
ICALT
2006
IEEE
16 years 24 days 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...
158
click to vote
ICALT
2006
IEEE
16 years 24 days 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...
149
click to vote
ICALT
2005
IEEE
16 years 11 days 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...
164
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
State-of-the-art stereo vision algorithms utilize color changes as important cues for object boundaries. Most methods impose heuristic restrictions or priors on disparities, for e...