5675 search results - page 7 / 1135 » Formalising Performative Interaction |
MKM
2005
Springer
14 years 16 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
ISWC
1997
IEEE
13 years 11 months ago
1997
IEEE
ACMACE
2007
ACM
13 years 11 months ago
2007
ACM
CHI
2011
ACM
12 years 10 months ago
2011
ACM
