70 research outputs found
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B
Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users' satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to speci c implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats from server-visible game behaviours. We argue that this cheat detection is more resistant to changing cheat technique
Linear logic for non-linear storytelling
Abstract. Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typical approach aims at generating narratives from baseline action representations, most often using planning techniques. However, this research has developed empirically, often as an application of planning. In this paper, we explore a more rigorous formalisation of narrative concepts, both at the action level and at the plot level. Our aim is to investigate how to bridge the gap between action descriptions and narrative concepts, by considering the latter from the perspective of resource consumption and causality. We propose to use Linear Logic, often introduced as a logic of resources, for it provides, through linear implication, a better description of causality than in Classical and Intuitionistic Logic. Besides advances in the fundamental principles of narrative formalisation, this approach can support the formal validation of scenario description as a preliminary step to their implementation via other computational formalisms.
Fine-Grained is Too Coarse: A Novel Data-Centric Approach for Efficient Scene Graph Generation
Learning to compose visual relationships from raw images in the form of scene
graphs is a highly challenging task due to contextual dependencies, but it is
essential in computer vision applications that depend on scene understanding.
However, no current approaches in Scene Graph Generation (SGG) aim at providing
useful graphs for downstream tasks. Instead, the main focus has primarily been
on the task of unbiasing the data distribution for predicting more fine-grained
relations. That being said, all fine-grained relations are not equally relevant
and at least a part of them are of no use for real-world applications. In this
work, we introduce the task of Efficient SGG that prioritizes the generation of
relevant relations, facilitating the use of Scene Graphs in downstream tasks
such as Image Generation. To support further approaches in this task, we
present a new dataset, VG150-curated, based on the annotations of the popular
Visual Genome dataset. We show through a set of experiments that this dataset
contains more high-quality and diverse annotations than the one usually adopted
by approaches in SGG. Finally, we show the efficiency of this dataset in the
task of Image Generation from Scene Graphs. Our approach can be easily
replicated to improve the quality of other Scene Graph Generation datasets
Une preuve est une histoire
International audienceLa narration computationnelle est un sous-domaine de l'Intelligence Artificielle, lié notamment aux problèmes de représentation des connaissances et en particulier à la représentation des actions et du changement. On s'y intéresse aux objets narratifs (littéraires, interactifs, cinématographiques) pour les comprendre, les analyser, ou les construire, en proposant des techniques qui peuvent être mises en oeuvre par des programmes et systèmes informatiques. C'est un domaine qui a des applications dans le domaine des jeux vidéos ou jeux utiles par exemple. Nous proposons de revenir dans cet exposé sur la motivation et les fondements d'un travail en cours, qui repose sur une connivence entre la structure des preuves en logique linéaire et la structure d'histoires interactives. Bien qu'ayant déjà donné lieu à une interprétation opérationnelle, cette approche a laissé des pistes inexplorées, surtout en ce qui concerne une normalisation et modularité de preuves/histoires dans un sous-ensemble ad hoc de la logique linéaire. Certaines idées ont été explorées en 2011 à l'aide de Coq et nous aimerions partager et échanger au sujet de nos projets actuels pour approfondir ce travail
Overview of the CLEF 2022 JOKER Task 1: Classify and Explain Instances of Wordplay
As a multidisciplinary field of study, humour remains one of the most difficult aspects of
intercultural communication. Understanding humor often involves understanding implicit
cultural references and/or double meanings, which raises the questions of how to detect
and classify instances of this complex phenomenon. This paper provides an overview of
Pilot Task 1 of the CLEF 2022 JOKER track, where participants had to classify and explain
instances of wordplay. We introduce a new classification of wordplay and a new annotation
scheme for wordplay interpretation suitable both for phrase-based wordplay and wordplay in
named entities. We describe the collection of our data, our task setup, and the evaluation
procedure, and we give a brief overview of the participating teams’ approaches and results
Overview of the CLEF 2022 JOKER Task 3: Pun Translation from English into French
The translation of the pun is one of the most challenging issues for translators and for this
reason has become an intensively studied phenomenon in the field of translation studies.
Translation technology aims to partially or even totally automate the translation process,
but relatively little attention has been paid to the use of computers for the translation of
wordplay. The CLEF 2022 JOKER track aims to build a multilingual corpus of wordplay and
evaluation metrics in order to advance the automation of creative-language translation. This
paper provides an overview of the track’s Pilot Task 3, where the goal is to translate entire
phrases containing wordplay (particularly puns). We describe the data collection, the task
setup, the evaluation procedure, and the participants’ results. We also cover a side product
of our project, a homogeneous monolingual corpus for wordplay detection in French
Aperçu sanitaire et architectural des bâtiments de transit pour les émigrants européens
From the end of the nineteenth century up to the inter-war period and, more generally, from 1849 to 1924, the episode of the ‘great European emigration’ saw a massive exodus of poor migrants leaving Europe for the United States. For transatlantic shipping companies, this migratory movement became a major commercial activity and the transport of indigent migrants a leading source of profits. These companies took over the regulation of emigration in the ports of departure in Europe. This new commercial opportunity led the companies to undertake the construction of specific buildings for accommodating the emigrants, whilst regulating the waiting period prior to obtaining an embarkation permit. In most of these port territories, then, special places of reception and accommodation were built. They were designed for the reception of the candidates for emigration, their selection, disinfection, control, export or repatriation. They dealt, in a word, with an abundant supply of human freight. The sanitary and social functions of these places evolved as issues of public health emerged and as hygiene preoccupations came to the fore. The collaboration between architects and the medical professions became essential, and architectural briefs were changed according to phyto-sanitary and technical innovations. These transit buildings present different and specific architectural forms which are by no means an architectural response to crisis or urgency, but which correspond, precisely, with the sanitary, political, commercial and financial objectives of these new commissioning clients
L’architecture des lieux de transit portuaires pour migrants européens (1891-1934)
L’épisode de la grande migration européenne a donné lieu à un flux migratoire intensif entre les vieilles nations européennes et les nouveaux pays indépendants de l’Amérique, du Nord comme du Sud, contribuant ainsi à la naissance d’un phénomène spécifique historique durant lequel le continent américain devient, pour des millions d’Européens, le dénominateur commun. À partir de 1860, la mise en service des bateaux à vapeur permet aux compagnies maritimes de diminuer de moitié la durée de la traversée transatlantique. Le gain de place obtenu par la réduction de l’encombrement des machines leur donne la possibilité de dégager, dans les entreponts des navires, de vastes espaces à l’installation sommaire, qu’elles réservent à une population de précarisés. Ce transit migratoire devient, pour les compagnies maritimes transatlantiques internationales, une manne commerciale exponentielle, et le transport de l’émigrant le plus indigent leur principal bénéfice. Dès lors, elles s’octroient l’exclusivité de la réglementation de l’émigration dans les ports de départ en Europe. Cette nouvelle orientation commerciale leur permet d’envisager la mise en place d’une politique constructive d’hébergement spécifique. Situées sur le littoral atlantique, autour de la mer Baltique, de la mer du Nord, de la Manche et de la mer Adriatique, des infrastructures d’hébergement temporaire apparaissent dans le but commun d’accueillir, sélectionner, désinfecter, contrôler, exporter et/ou rapatrier cet abondant fret humain. Elles se présentent sous la forme de différentes typologies architecturales, qui ne se manifestent nullement comme une architecture de crise ou de l’urgence mais qui répondent précisément à une volonté politique, commerciale et financière de la part des ces nouveaux maîtres d’œuvre. Elles évoluent, au cours d’une cinquantaine d’années, du simple entrepôt à de véritable complexe hôtelier à usage multifonctionnel. Néanmoins cette architecture spécifique, dédiée aux émigrants de l’entrepont, révèle certaines particularités de commodités de services ou de logistique organisationnelle. Elles sont dictées par la nécessité de répondre d’une part, aux exigences de quotas et de mises en quarantaine venues d’outre-Atlantique, et d’autre part, aux contraintes hygiénistes imposées par le pouvoir médical des pays européens, exigeant la garantie d’une surveillance sanitaire réglementée tout en garantissant un service hôtelier varié et de qualité à ses hôtes en transit. Elles permettent de mettre en lumière la singularité de ces lieux de mémoire qui correspondent à un épisode capital de l’Histoire de l’Humanité et tout particulièrement de l’Histoire de l’Europe
Bâtiments de transit pour les émigrants : analyse socio-architecturale
L’épisode historique dit de « la grande émigration européenne » commence vers le milieu du xixe siècle. À travers tout le continent, elle donne lieu à un exode massif de plus de 50 millions d’Européens qui traversent les océans pour émigrer entre 1846 et 1932. Originaires de l’Europe de l’Est méridionale, de l’Allemagne, de l’Empire austro-hongrois, de la Pologne, de la Russie, et dans une moindre mesure de l’Europe septentrionale, tous fuient leur pays d’origine pour des motifs économiques (..
- …