3885 search results - page 65 / 777 » Clarifying Goal Models |
115
click to vote
TKDE
2002
15 years 3 months ago
2002
Adding a learning companion, a computer simulated social agent, to a computer based learning system can enhance its educational value by enriching the way in which the computer and...
131
click to vote
JMLR
2010
14 years 10 months ago
2010
Much recent research has been devoted to learning algorithms for deep architectures such as Deep Belief Networks and stacks of auto-encoder variants, with impressive results obtai...
134
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
122
click to vote
ISW
2005
Springer
15 years 9 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
128
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...