Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Interactive Storytelling [[electronic resource] ] : Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings / / edited by Ruth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, Mark Riedl
| Interactive Storytelling [[electronic resource] ] : Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings / / edited by Ruth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, Mark Riedl |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 302 p. 92 illus.) |
| Disciplina | 006.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer science Cultural heritage Education—Data processing Arts Computer Appl. in Arts and Humanities Popular Computer Science Cultural Heritage Computers and Education Information Systems Applications (incl. Internet) |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39015-8
9786613568076 3-642-16638-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- The Authoring Challenge in Interactive Storytelling -- From a Winter’s Night to a Dragon Age -- Designing Social Worlds - On Intrigue and Interaction in Live Action Role Playing Games (LARPS) -- Characters and Decision Making -- MIST: An Interactive Storytelling System with Variable Character Behavior -- Importance of Well-Motivated Characters in Interactive Narratives: An Empirical Evaluation -- “I Want to Slay That Dragon!” - Influencing Choice in Interactive Storytelling -- Story Evaluation and Analysis -- Measuring User Responses to Interactive Stories: Towards a Standardized Assessment Tool -- One Tool-Many Paradigm: Creativity and Regularity in Youngsters’ Hyperstories -- Exploring Narrative Interpretation and Adaptation for Interactive Story Creation -- Narrative Annotation and Editing of Video -- Story Generation -- A Story to Go, Please -- Threading Facts into a Collective Narrative World -- Learning Story Marketing through Practical Experience of Story Creation System -- Enhancing Real-Time Sports Commentary Generation with Dramatic Narrative Devices -- Zuzie: Collaborative Storytelling Based on Multiple Compositions -- An Interactive Documentary Manifesto -- Arts and Humanities -- Rhetorics of the Interactive 3D Installation “Virtuelle Mauer/ReConstructing the Wall” -- From Physical to Non-material Art – Design Choices of the Digital Artist -- The iLand of Madeira Location Aware Multimedia Stories -- Narrative Theories and Modelling -- Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic -- An Analysis of Narrative Moves in Improvisational Theatre -- Towards a Theoretical Framework for Interactive Digital Narrative -- Systems -- A Data-Driven Case-Based Reasoning Approach to Interactive Storytelling -- Something’s Gotta Give - Towards Distributed Autonomous Story Appraisal in Improv -- A Simple Intensity-Based Drama Manager -- Applications -- Player Agency and the Relevance of Decisions -- Interactive Storytelling in Academic Teaching -- Teaching English as a Second Language Utilizing Authoring Tools for Interactive Digital Storytelling -- Posters -- Textual vs. Graphical Interaction in an Interactive Fiction Game -- Motivations for Rereading in Interactive Stories: A Preliminary Investigation -- The Haiti Earthquake Experience: A Case Study -- First Person Victim: Developing a 3D Interactive Dramatic Experience -- Combining Explicit and Implicit Interaction Modes with Virtual Characters in Public Spaces -- Louis, Mr. Dog and Rabbit: Metalepsis in Interactive Narrative -- Automated Storytelling in Sports: A Rich Domain to Be Explored -- Level-of-Detail Stories as a Virtual Museum of a Movie -- Establishing Communication Channels for Digital Storytelling Applications -- Agency and the Art of Interactive Digital Storytelling -- Realism and Virtuality: Carmageddon as Contemporary Simulacrum Model -- Demonstrations -- Emohawk: Learning Virtual Characters by Doing -- Crowd-Sourced AI Authoring with ENIGMA -- Using Highly Interactive Drama to Help Young People Cope with Traumatic Situations -- Stories on a Sphere: Hyperglobes as Narrative Platforms for Global Geodata -- Workshops -- Users and Evaluation of Interactive Storytelling -- Workshop: Education in Interactive Digital Storytelling -- Interactive Stories for Health Interventions -- Towards a Shared Vocabulary for Interactive Digital Storytelling -- Storytelling within an Internet of Things -- Just Another Tool for Interactive Digital Storytelling? -- Tutorial -- Tutorial: Introduction to Interactive Story Creation. |
| Record Nr. | UNISA-996465711803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified Software: Theories, Tools, Experiments [[electronic resource] ] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
| Verified Software: Theories, Tools, Experiments [[electronic resource] ] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 217 p. 68 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-15057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Towards Scalable Modular Checking of User-Defined Properties -- Verification Techniques -- Tressa: Claiming the Future -- Automated Verification of a Small Hypervisor -- Verification of Low-Level Code -- A Rely-Guarantee Proof System for x86-TSO -- Pervasive Verification of an OS Microkernel -- Invited Talk -- The L4.verified Project — Next Steps -- Requirements and Specifications -- An Approach of Requirements Tracing in Formal Refinement -- Dafny Meets the Verification Benchmarks Challenge -- Specifying Reusable Components -- Verification Techniques -- Reusable Verification of a Copying Collector -- To Goto Where No Statement Has Gone Before -- Invited Talk -- The Next 700 Separation Logics -- Locality in Reasoning -- Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients -- Abstraction and Refinement for Local Reasoning. |
| Record Nr. | UNISA-996466287003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
