Filters








991,026 Hits in 5.0 sec

Glossary of game-specific terms [chapter]

Barry Atkins
2018 More than a game  
Isometric A variation of a top-down view of the in-game landscape that presents some illusion of depth by allowing a view of three sides of objects.  ...  Real-time The need for a continuing sequence of responses if the game is to take account of the presence of the player.  ... 
doi:10.7765/9781526137548.00010 fatcat:vwg2b5tn3bhifeaciqwyoxgbyq

A Catalogue of Game-Specific Software Nuggets [article]

Vartika Agrahari, Sridhar Chimalakonda
2021 arXiv   pre-print
We present a catalogue of ten G-Nuggets and provide examples for them present online at: https://phoebs88.github.io/A-Catalogue-of-Game-Specific-Software-Nuggets.  ...  We use regular expressions and thematic analysis on this dataset for cataloguing game-specific Software Nuggets.  ...  Acknowledgements We would like to thank Ashish Kumar for his contribution to the process of thematic analysis and illustrations of the game-specific Software Nuggets.  ... 
arXiv:2006.13129v2 fatcat:qel7wv7d65b77h2bye57em3e6y

Equivalences among five game specifications, including a new specification whose nodes are sets of past choices

Peter A. Streufert
2018 International Journal of Game Theory  
The result is a formal five-way equivalence which provides game theorists with a broad spectrum of alternative game specifications.  ...  It also formally links "simple forms" with "AR forms" (the former is less prominent than the latter, and both are from Alós-Ferrer and Ritzberger, in The theory of extensive form games.  ...  Acknowledgements I am very indebted to two anonymous referees, who generously and insightfully addressed a very long preliminary version of this paper.  ... 
doi:10.1007/s00182-018-0652-8 fatcat:q2mgoe5sd5hdth64wgna36awdq

What's the Name of the Game? Formal Specification of Artificial Intelligence Games

Vladimir Di Iorio, Roberto S. Bigonha, Mariza A.S. Bigonha, Alcione Oliveira, Eliseu Miguel
2005 Electronical Notes in Theoretical Computer Science  
In this paper, we present a framework to build artificial intelligence games, using Abstract State Machines (ASM) for the specification of the rules of the games.  ...  Artificial intelligence games are a very interesting tool for teaching Artificial Intelligence techniques.  ...  Our future plans include the definition of more sophisticated games, using also 3D animation.  ... 
doi:10.1016/j.entcs.2005.03.008 fatcat:s6zzagypvbb7tfsx47sa2whfca

Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games [article]

Michael Luttenberger and Philipp J. Meyer and Salomon Sickert
2019 arXiv   pre-print
The synthesis of reactive systems from linear temporal logic (LTL) specifications is an important aspect in the design of reliable software and hardware.  ...  Lastly, the chosen constructions use a symbolic representation of the transition functions to reduce runtime and memory consumption.  ...  Pérez for valuable feedback and testing of Strix during Syntcomp2019.  ... 
arXiv:1903.12576v2 fatcat:dphca6xfnjc2lkkdgqglkgpwsy

ILLOCUTIONARY DIRECTION AND REFERENTIAL SPECIFICS OF LANGUAGE GAME

N.Y. Timofeeva
2018 RUDN Journal of Language Studies, Semiotics and Semantics  
Orient of the scope of the terminal "language game" facts fate of Provence. .I.  ...  This type of organization discuss attests to the special specificity of the preferential component statements containing the standard receive units.  ... 
doi:10.22363/2313-2299-2018-9-2-451-462 fatcat:7ngaqupbw5h6rixyaoxlhhzxq4

Verification and Refutation of Probabilistic Specifications via Games

Mark Kattenbelt, Michael Huth, Marc Herbstritt
2009 Foundations of Software Technology and Theoretical Computer Science  
-we develop a verification/refutation framework for arbitrary PCTL specifications (c.f. modal abstractions [Lar90]) M.A. Kattenbelt -3 of 29  ...  for games via an abstraction relation over games -this enables us to consider a "hierarchy of abstractions" with varying precisions (even for fixed predicates!)  ...  of g also may-satisfy p -if g |= must p then all concretisations of g also must-satisfy p Verification & refutation via games: -to verify m |= p find a game g ∈ G such that g abstracts m (i.e. g p emb  ... 
doi:10.4230/lipics.fsttcs.2009.2323 dblp:conf/fsttcs/KattenbeltH09 fatcat:eplui7q3avewfilt2xu2pmhiee

On Translation Strategies of Culture-Specific Items in Game Localization

Xinyan Shi, the Northwestern Polytechnical University, China, Jianguo Tian
2019 International Journal of Languages Literature and Linguistics  
items in the fictional game context, so as to offer some help to the improvement of the translation quality of game culture-specific items.  ...  Guided by his study on Culture-Specific Items, this paper takes the translation of the created words and neologies in League of Legend as examples to study the detailed translation strategies of Culture-specific  ...  of a game fictional culture-specific item are pure and simple.  ... 
doi:10.18178/ijlll.2019.5.4.233 fatcat:ul6vfmswbfd6tbuu6imq6bmbee

Bounds for the game coloring number of planar graphs with a specific girth [article]

Keaitsuda Maneeruk Nakprasit, Kittikorn Nakprasit
2016 arXiv   pre-print
Let col_g(G) be the game coloring number of a given graph G. Define the game coloring number of a family of graphs H as col_g(H) := { col_g(G):G ∈H}.  ...  Let P_k be the family of planar graphs of girth at least k. We show that col_g(P_7) ≤ 5. This result extends a result about the coloring number by Wang and Zhang WZ11 ( col_g(P_8) ≤ 5).  ...  The game chromatic number of G, denoted by χ g (G), is the least cardinality of C in which Alice has a strategy to win the game. The game chromatic number was formally introduced by Bodlaender [1] .  ... 
arXiv:1610.01260v2 fatcat:slimz42zfjexrn7u4xnajtub6i

Narrative Bridging - a specification of a modelling method for game design [article]

Katarina Borg Gyllenback
2009 arXiv   pre-print
The study also provides directions for future developments within research of narrative processes in game design.  ...  The method aided the practise of a discipline that was established through a qualitative study conducted as part of a university course in rapid prototyping.  ...  it in balance with the media-specific attributes of the digital game.  ... 
arXiv:0905.3070v1 fatcat:rpfpqofuqvetfnzwz3y2ztpg7i

Adolescent Problematic Gaming and Domain-Specific Perceptions of Self

Devin J. Mills, Jessica Mettler, Michael J. Sornberger, Nancy L. Heath
2016 International Journal of Cyber Behavior Psychology and Learning  
Problematic video game use (PVGU) is an inability to meet personal and social responsibilities due to video gaming. It is estimated to affect 5 to 6% of adolescents.  ...  Research demonstrates greater video game engagement is associated with a poorer perception of self in several domains; however, the relation between PVGU and self-perception has not yet be examined.  ...  awareness of the effect of one's own video game use.  ... 
doi:10.4018/ijcbpl.2016100104 fatcat:s7kmm5ln3ffo3a5rmblgb4u72e

Empirical Specification of Dialogue Games for an Interactive Agent [chapter]

Guillaume Dubuisson Duplessis, Nathalie Chaignaud, Jean-Philippe Kotowicz, Alexandre Pauchet, Jean-Pierre Pécuchet
2013 Lecture Notes in Computer Science  
We exemplify the specification of dialogue games by implementing all the steps of our methodology on a task-oriented corpus.  ...  We present a framework to specify dialogue games from these patterns based on the notion of social commitments.  ...  Our formalisation of games refines the one proposed by Maudet [9] by the addition of failure conditions, game-specific effects of dialogue acts and coherence constraints on the semantic contents of acts  ... 
doi:10.1007/978-3-642-38073-0_5 fatcat:gmt4zwwt6rhotmrayhfu6i5kkm

Development of Sports Specific Skills by Using Dynamic Games

Mihăilă Ion, Dobrescu Tatiana, Marconi Roberto Gabriel, Iancu Aurel
2014 Procedia - Social and Behavioral Sciences  
The paper aims at acquisition of specific elements of sports, games using dynamic, customized and individualized according to age and level of training of the subjects.  ...  Evaluation of results is done by control samples aimed at assessing general and specific motor skills of sports, the initial testing and after applying drive means during the school year.At the end of  ...  Purpose This paper proposes the use of dynamic games, enhanced and customized according to age and level of education of the subjects contribute to the development of motor skills specific sports games  ... 
doi:10.1016/j.sbspro.2014.01.525 fatcat:bo7xpgo35zbzfcngh6g5ethxzq

Method for Selecting an Engagement Index for a Specific Type of Game Using Cognitive Neuroscience

Konrad Biercewicz, Mariusz Borawski, Jarosław Duda
2020 International Journal of Computer Games Technology  
The popularity of video games means that methods are needed to assess their content in terms of player satisfaction right from the production stage.  ...  The study was conducted using several different games created in Unity based on the observation (n=31) of the respondents. EEG has been used to select the most suitable indices studied.  ...  of the Shapiro-Wilk test distribution for one tested game and one specific game are presented.  ... 
doi:10.1155/2020/2450651 fatcat:uaou7ckntrdr3fx2dwf4tqcndy

A domain-specific language for experimental game theory

ERIC WALKINGSHAW, MARTIN ERWIG
2009 Journal of functional programming  
We have created Hagl, a domain-specific language embedded in Haskell, to reduce the development time of game-theoretic experiments and make the definition and exploration of games and strategies simple  ...  Experimental game theory is increasingly important for research in many fields. Unfortunately, it is poorly supported by computer tools.  ...  Here we present Hagl, 1 a domain-specific language embedded in Haskell, intended to drastically reduce the development time of such experiments and make the definition and exploration of games and strategies  ... 
doi:10.1017/s0956796809990220 fatcat:5mkgog5oyzh4bh66ac5buflqni
« Previous Showing results 1 — 15 out of 991,026 results