7340 search results - page 140 / 1468 » The Behavior of Tutoring Systems |
159
click to vote
SNPD
2004
15 years 7 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
166
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
158
click to vote
QEST
2006
IEEE
16 years 10 days ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
182
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
In the present treatise, we propose an approach for a highly configurable image based online person behaviour monitoring system. The particular application scenario is a crew sup...
148
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Autonomous agents can help users by taking on a substantial workload, and performing tasks that are too complex for a human. However, in some systems complete autonomy is undesira...