5675 search results - page 7 / 1135 » Formalising Performative Interaction |
118
Voted
MKM
2005
Springer
15 years 8 months 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...
109
Voted
ECAI
2010
Springer
15 years 3 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...
108
Voted
ISWC
1997
IEEE
15 years 6 months ago
1997
IEEE
74
Voted
ACMACE
2007
ACM
15 years 6 months ago
2007
ACM
106
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
