5675 search results - page 7 / 1135 » Formalising Performative Interaction |
169
Voted
MKM
2005
Springer
16 years 11 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...
184
Voted
ECAI
2010
Springer
15 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...
