English
Related papers

Related papers: Similarit\'e en intension vs en extension : \`a la…

200 papers

Since 2014, we have been conducting experiments based on a multidisciplinary collaboration between specialists in theatrical staging and researchers in virtual reality, digital art, and video games. This team focused its work on the…

Human-Computer Interaction · Computer Science 2024-07-18 Georges Gagneré , Cédric Plessiet , Rémy Sohier

We are in this paper discussing conceptualisations of the relationship between IT and organisational issues. To move beyond an IT enables/ constrains position, we argue that it is necessary to take the specifics of an information system…

Computers and Society · Computer Science 2018-03-13 Eric Monteiro , Ole Hanseth

The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical…

Programming Languages · Computer Science 2015-01-22 Carl Hewitt

Physical processes are computations only when we use them to externalize thought. Computation is the performance of one or more fixed processes within a contingent environment. We reformulate the Church-Turing thesis so that it applies to…

Multiagent Systems · Computer Science 2007-05-23 Russ Abbott

Scenario building is an established method to anticipate the future of emerging technologies. Its primary goal is to use narratives to map future trajectories of technology development and sociotechnical adoption. Following this process,…

Human-Computer Interaction · Computer Science 2025-06-09 Julia Barnett , Kimon Kieslich , Jasmine Sinchai , Nicholas Diakopoulos

Motivated by an intention to remedy current complications with Dutch terminology concerning informatics, the term informaticology is positioned to denote an academic counterpart of informatics where informatics is conceived of as a…

Software Engineering · Computer Science 2012-10-25 Jan A. Bergstra

In this paper, we present a new modality for intelligent interactive narratives within the theatre domain. We discuss the possibilities of using an intelligent agent that serves as a drama manager and as an actor that plays a character…

Artificial Intelligence · Computer Science 2022-01-20 Nic Velissaris , Jessica Rivera-Villicana

In this paper we present the new genre of interactive operas implemented on personal computers. They differ from traditional ones not only because they are virtual, but mainly because they offer to composers and listeners new perspectives…

Multimedia · Computer Science 2009-12-25 Alain Bonardi , Francis Rousseaux

Relational event data, which consist of events involving pairs of actors over time, are now commonly available at the finest of temporal resolutions. Existing continuous-time methods for modeling such data are based on point processes and…

Methodology · Statistics 2018-06-21 Wesley Lee , Bailey K. Fosdick , Tyler H. McCormick

Our work has focused on support for film or television scriptwriting. Since this involves potentially varied story-lines, we note the implicit or latent support for interactivity. Furthermore the film, television, games, publishing and…

Artificial Intelligence · Computer Science 2011-07-07 Fionn Murtagh , Adam Ganz , Joe Reddington

Great storytellers know how to take us on a journey. They direct characters to act -- not necessarily in the most rational way -- but rather in a way that leads to interesting situations, and ultimately creates an impactful experience for…

Graphics · Computer Science 2023-05-29 Kartik Chandra , Tzu-Mao Li , Josh Tenenbaum , Jonathan Ragan-Kelley

We introduce and investigate a range of general notions of a game. Our principal notion is based on a set of agents modifying a relational structure in a discrete evolution sequence. We also introduce and study a variety of ways to model…

Logic in Computer Science · Computer Science 2019-11-20 Antti Kuusisto

Models of computational trust support users in taking decisions. They are commonly used to guide users' judgements in online auction sites; or to determine quality of contributions in Web 2.0 sites. However, most existing systems require…

Cryptography and Security · Computer Science 2015-03-19 Xin Liu , Anwitaman Datta , Krzysztof Rzadca

Integrating computation into physics teaching is a curricular move that, at present, has been predominately studied for its cognitive impacts. However, if this modality of instruction shifts how students engage with physics, we argue there…

Physics Education · Physics 2026-01-16 Sarah McHale , Tor Ole B. Odden , Ken Heller

The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a broader theory whose ultimate goal is expressing and analyzing…

Computational Complexity · Computer Science 2012-09-05 Ugo Dal Lago , Tobias Heindel , Damiano Mazza , Daniele Varacca

Understanding online communities requires an appreciation of both structure and culture. But basic questions remain difficult to pose. How do these facets interact and drive each other? Using data on the membership and governance styles of…

Social and Information Networks · Computer Science 2020-09-11 Qiankun Zhong , Seth Frey

Because contemporary large software systems are pervasively inconsistent, it is not safe to reason about them using classical logic. The goal of Direct Logic is to be a minimal fix to classical mathematical logic that meets the requirements…

Logic in Computer Science · Computer Science 2015-03-03 Carl Hewitt

LLM-based Interactive Drama introduces a novel dialogue scenario in which the player immerses into a character and engages in a dramatic story by interacting with LLM agents. Despite the fact that this emerging area holds significant…

Computation and Language · Computer Science 2025-09-23 Tianyang Xu , Hongqiu Wu , Weiqi Wu , Hai Zhao

We look at intensionality from the perspective of computation. In particular, we review how game semantics has been used to characterize the sequential functional processes, leading to powerful and flexible methods for constructing fully…

Logic in Computer Science · Computer Science 2017-05-16 Samson Abramsky

Practice-based perspectives in information systems have established how, in every instance of use i.e., work practices, the user exercises considerable discretion in their appropriation of the technology with local workarounds and situated…

Computers and Society · Computer Science 2018-03-13 Eric Monteiro , Gasparas Jarulaitis , Vidar Hepso
‹ Prev 1 2 3 10 Next ›