3885 search results - page 65 / 777 » Clarifying Goal Models |
140
click to vote
TKDE
2002
15 years 6 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...
170
click to vote
JMLR
2010
15 years 1 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...
183
click to vote
UM
2007
Springer
16 years 21 days 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...
162
click to vote
ISW
2005
Springer
16 years 2 days 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 ...
158
click to vote
FOSSACS
2009
Springer
16 years 1 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...