<--- Back to Details
First PageDocument Content
Arts / Narratology / Storytelling / Sound / Interactive storytelling / Human–computer interaction / Narrative mode / Scenario / Avatar / Literature / Virtual reality / Fiction
Date: 2009-05-15 11:02:50
Arts
Narratology
Storytelling
Sound
Interactive storytelling
Human–computer interaction
Narrative mode
Scenario
Avatar
Literature
Virtual reality
Fiction

Add to Reading List

Source URL: www.aisb.org.uk

Download Document from Source Website

File Size: 1,08 MB

Share Document on Facebook

Similar Documents

School of Computer Science /  University of Manchester / Vampire

Motivation Interleaving AVATAR

DocID: 1xVYE - View Document

Theoretical computer science / Logic / Mathematical logic / Logic in computer science / Artificial intelligence / Automated reasoning / Automated theorem proving / Predicate logic / Quantifier / Andrei Voronkov / Z3 / Alt-Ergo

AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

DocID: 1xVvf - View Document

Electronic engineering / Electronic design automation / Digital electronics / Electronics / Physical design / Routing / Timing closure / Placement / Design closure / Router

A Place-and-Route Paradigm Shift: Detailed-Route-Centric Solution Now Required Each technology node adds tougher physical design challenges and more stringent design rules. Modern lithography requires dual patterning and

DocID: 1xUHY - View Document

Theoretical computer science / Automated theorem proving / Mathematics / Mathematical logic / Formal methods / Logic in computer science / Resolution / Logic programming / Clause / Vampire / Boolean satisfiability problem / CARINE

Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo

DocID: 1xTM6 - View Document

https://pando.comyes-all-fowler-greyball-waymo-issues-are-reflection-uber-businessmodel-fundamentally-unfixably-broken/ Uber an avatar of innovation and progress? The economic evidence says otherwise. By Hub

DocID: 1vp9U - View Document