English
Related papers

Related papers: Amending Choreographies

200 papers

Close your eyes and listen to music, one can easily imagine an actor dancing rhythmically along with the music. These dance movements are usually made up of dance movements you have seen before. In this paper, we propose to reproduce such…

Computer Vision and Pattern Recognition · Computer Science 2021-09-01 Xin Guo , Yifan Zhao , Jia Li

We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions…

Programming Languages · Computer Science 2015-02-11 Fabrizio Montesi

Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to…

Logic in Computer Science · Computer Science 2014-09-10 R. Ramanujam , S. Sheerazuddin

Dancing to music is an instinctive move by humans. Learning to model the music-to-dance generation process is, however, a challenging problem. It requires significant efforts to measure the correlation between music and dance as one needs…

Computer Vision and Pattern Recognition · Computer Science 2019-11-06 Hsin-Ying Lee , Xiaodong Yang , Ming-Yu Liu , Ting-Chun Wang , Yu-Ding Lu , Ming-Hsuan Yang , Jan Kautz

In some scientific fields, a scaling is able to modify the topology of an observed object. Our goal in the present work is to introduce a new formalism adapted to the mathematical representation of this kind of phenomenon. To this end, we…

Geometric Topology · Mathematics 2008-12-11 Guy Wallet

Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a distributed implementation is automatically obtained by…

Programming Languages · Computer Science 2022-08-18 Luís Cruz-Filipe , Eva Graversen , Lovro Lugović , Fabrizio Montesi , Marco Peressotti

Dance generation is crucial and challenging, particularly in domains like dance performance and virtual gaming. In the current body of literature, most methodologies focus on Solo Music2Dance. While there are efforts directed towards Group…

Sound · Computer Science 2024-12-30 Kaixing Yang , Xulong Tang , Haoyu Wu , Qinliang Xue , Biao Qin , Hongyan Liu , Zhaoxin Fan

Decoherence is the process by which quantum systems interact and become correlated with their external environments; quantum trajectories are a powerful technique by which decohering systems can be resolved into stochastic evolutions,…

Quantum Physics · Physics 2018-03-28 Todd A. Brun

We investigate a dynamically adapting tuning scheme for microtonal tuning of musical instruments, allowing the performer to play music in just intonation in any key. Unlike other methods, which are based on a procedural analysis of the…

Popular Physics · Physics 2018-06-12 Karolin Stange , Christoph Wick , Haye Hinrichsen

Dance performance traditionally follows a unidirectional relationship where movement responds to music. While AI has advanced in various creative domains, its application in dance has primarily focused on generating choreography from…

Sound · Computer Science 2025-06-16 Olga Vechtomova , Jeff Bos

When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of…

Software Engineering · Computer Science 2026-03-11 Lars Fritsche , Alexander Lauer , Maximilian Kratz , Andy Schürr , Gabriele Taentzer

Choreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories operator to design more expressive choreographic languages, and…

Formal Languages and Automata Theory · Computer Science 2023-11-14 Luc Edixhoven

Compositionality is a cognitive mechanism that allows humans to systematically combine known concepts in novel ways. This study demonstrates how artificial neural agents acquire and utilize compositional generalization to describe…

Artificial Intelligence · Computer Science 2026-01-16 Boaz Carmeli , Ron Meir , Yonatan Belinkov

Choreographic programming is a promising new paradigm for programming concurrent systems where a developer writes a single centralized program that compiles to individual programs for each node. Existing choreographic languages, however,…

Programming Languages · Computer Science 2025-08-22 Ashley Samuelson , Andrew K. Hirsch , Ethan Cecchetti

Transformer architectures offer significant advantages regarding the generation of symbolic music; their capabilities for incorporating user preferences toward what they generate is being studied under many aspects. This paper studies the…

Synthesizing human motion with a global structure, such as a choreography, is a challenging task. Existing methods tend to concentrate on local smooth pose transitions and neglect the global context or the theme of the motion. In this work,…

This review examines the roles of adaptation and synchronization in music performance, drawing on concepts from complex systems theory to understand the dynamic interactions between musicians, music, and listeners. Adaptation is explored…

Physics and Society · Physics 2025-04-08 Jakub Sawicki

Video-and-Language Inference is a recently proposed task for joint video-and-language understanding. This new task requires a model to draw inference on whether a natural language statement entails or contradicts a given video clip. In this…

Computer Vision and Pattern Recognition · Computer Science 2021-08-10 Juncheng Li , Siliang Tang , Linchao Zhu , Haochen Shi , Xuanwen Huang , Fei Wu , Yi Yang , Yueting Zhuang

Music rearrangement involves reshuffling, deleting, and repeating sections of a music piece with the goal of producing a standalone version that has a different duration. It is a creative and time-consuming task commonly performed by an…

Sound · Computer Science 2023-05-15 Christos Plachouras , Marius Miron

In this work, we present DreamDance, a novel method for animating human images using only skeleton pose sequences as conditional inputs. Existing approaches struggle with generating coherent, high-quality content in an efficient and…

Computer Vision and Pattern Recognition · Computer Science 2024-12-03 Yatian Pang , Bin Zhu , Bin Lin , Mingzhe Zheng , Francis E. H. Tay , Ser-Nam Lim , Harry Yang , Li Yuan