Sökning: "Computer Games"

Visar resultat 1 - 5 av 136 avhandlingar innehållade orden Computer Games.

  1. 1. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER

  3. 2. Power Games : Rules and Roles in Second Life

    Författare :Maria Bäcke; Blekinge Tekniska högskola; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; performance; role-play; Second Life; online worlds; virtual worlds; virtual; digital space; rules; hierarchies; subversion; power; negotiation; make-believe; Media and Communication Studies;

    Sammanfattning : This study investigates how the members of four different role-playing communities on the online platform Second Life perform social as well as dramatic roles within their community. The trajectories of power influencing these roles are my main focus. LÄS MER

  4. 3. Perception of Computer Games in Non-Gaming Contexts

    Författare :Mats Wiklund; Love Ekenberg; Jakob Palme; Staffan Björk; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer games; Games; Learning; Communication; Computer and systems science; Data- och systemvetenskap; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : As computer games have evolved from single-player entities to complex, highly communicative on-line game worlds, their potential to fill different roles in society has grown. One aspect of this change is that various forms of computer mediated communication may become increasingly associated with games in various ways. LÄS MER

  5. 4. Exploring Game Design through Human-AI Collaboration

    Författare :Alberto Alvarez; Jose Font; Julian Togelius; Steve Dahlskog; Nancy L Russo; Georgios N. Yannakakis; Malmö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Games; Human-AI Collaboration; Mixed-Initiative; Procedural Content Generation; Quality Diversity; Computational Creativity; Interaktionsdesign; Interaktionsdesign;

    Sammanfattning : Game design is a hard and multi-faceted task that intertwines different gameplay mechanics, audio, level, graphic, and narrative facets. Games' facets are developed in conjunction with others with a common goal that makes games coherent and interesting. LÄS MER

  7. 5. Exploring the Dynamic Properties of Interaction in Mixed-Initiative Procedural Content Generation

    Författare :Alberto Alvarez; Jose Font; Steve Dahlskog; Julian Togelius; Nancy L Russo; Sebastian Risi; Malmö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mixed-Initiative; Procedural Content Generation; Quality Diversity; Computer Games; Evolutionary Algorithms;

    Sammanfattning : As AI develops, grows, and expands, the more benefits we can have from it. AI is used in multiple fields to assist humans, such as object recognition, self-driving cars, or design tools. However, AI could be used for more than assisting humans in their tasks. LÄS MER