644 search results - page 17 / 129 » Interaction and Realizability |
AIED
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners’ actions captured by the sys...
ARGMAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
FOCS
1999
IEEE
14 years 2 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
AIIDE
2007
14 years 5 days ago
2007
We explore the tradeoff between player autonomy and designer intent by simulating a system of autonomous museum tour guides. Visitors may have different art preferences or may wis...
AAMAS
2005
Springer
13 years 9 months ago
2005
Springer
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...