1816 search results - page 144 / 364 » Formal Concepts of Learning Systems Validation in Use |
156
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
177
click to vote
AIED
2007
Springer
16 years 18 days ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
161
click to vote
AH
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The ultimate aim of our research is a free, evolutionary, Internetbased, agent-based, long-distance teaching environment for academic English. For this purpose, we are bu...
200
click to vote
PKC
2010
Springer
15 years 10 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
168
click to vote
IADIS
2008
15 years 7 months ago
2008
In this paper we present a natural language virtual tutoring system that has been developed to assist students during the learning process. For this purpose, we have used several ...