English
Related papers

Related papers: Structured Interactive Music Scores

200 papers

We describe the implementation of and early results from a system that automatically composes picture-synched musical soundtracks for videos and movies. We use the phrase "picture-synched" to mean that the structure of the automatically…

Multimedia · Computer Science 2019-10-22 Vansh Dassani , Jon Bird , Dave Cliff

In this paper, we introduce new methods and discuss results of text-based LSTM (Long Short-Term Memory) networks for automatic music composition. The proposed network is designed to learn relationships within text documents that represent…

Artificial Intelligence · Computer Science 2016-04-20 Keunwoo Choi , George Fazekas , Mark Sandler

When musicians perform in an ensemble, synchronizing to a mutual pace is the foundation of their musical interaction. Clock generators, e.g., metronomes, or drum machines, might assist such synchronization, but these means, in general, will…

Neurons and Cognition · Quantitative Biology 2021-12-07 Simon Linke , Rolf Bader , Robert Mores

The recently introduced concept of dynamic communicability is a valuable tool for ranking the importance of nodes in a temporal network. Two metrics, broadcast score and receive score, were introduced to measure the centrality of a node…

Physics and Society · Physics 2016-09-29 Ewan Colman , Nathaniel Charlton

Whereas standard treatments of temporal logic are adequate for closed systems, having no run-time interactions with their environment, they fall short for reactive systems, interacting with their environments through synchronisation of…

Logic in Computer Science · Computer Science 2020-09-01 Rob van Glabbeek

Performance artforms like Peking opera face transmission challenges due to the extensive passive listening required to understand their nuance. To create engaging forms of experiencing auditory Intangible Cultural Heritage (ICH), we…

Human-Computer Interaction · Computer Science 2025-05-26 Yuqi Wang , Sirui Wang , Shiman Zhang , Kexue Fu , Michelle Lui , Ray Lc

Many applications in mechanical, acoustic, and electronic engineering require estimating complex dynamical models, often represented as additive multi-input multi-output (MIMO) transfer functions with structural constraints. This paper…

Systems and Control · Electrical Eng. & Systems 2025-05-21 Rodrigo A. González , Maarten van der Hulst , Koen Classens , Tom Oomen

Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules that transform multisets of constraints. One of the main…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-09 Thom Fruehwirth

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose…

Programming Languages · Computer Science 2007-06-13 Roberto Amadio , Silvano Dal Zilio

We present a statistical analysis of music scores from different composers using detrended fluctuation analysis. We find different fluctuation profiles that correspond to distinct auto-correlation structures of the musical pieces. Further,…

In all software development projects, engineers face the challenge of translating the requirements layer into a design layer, then into an implementation-code layer, and then validating the correctness of the result. Many methodologies,…

Software Engineering · Computer Science 2020-10-08 David Harel , Rami Marelly , Assaf Marron , Smadar Szekely

Sequential recommender systems (SRS) could capture dynamic user preferences by modeling historical behaviors ordered in time. Despite effectiveness, focusing only on the \textit{collaborative signals} from behaviors does not fully grasp…

Information Retrieval · Computer Science 2024-09-20 Mingyue Cheng , Hao Zhang , Qi Liu , Fajie Yuan , Zhi Li , Zhenya Huang , Enhong Chen , Jun Zhou , Longfei Li

We present a solution to the problem of understanding a system that produces a sequence of temporally ordered observations. Our solution is based on generating and interpreting a set of temporal decision rules. A temporal decision rule is a…

Machine Learning · Computer Science 2010-04-21 Kamran Karimi , Howard J. Hamilton

Music scores are written representations of music and contain rich information about musical components. The visual information on music scores includes notes, rests, staff lines, clefs, dynamics, and articulations. This visual information…

Multimedia · Computer Science 2024-06-18 Yuheng Lin , Zheqi Dai , Qiuqiang Kong

Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time. We consider the…

Logic in Computer Science · Computer Science 2024-01-30 Pete Austin , Sougata Bose , Patrick Totzke

Room impulse response (RIR), which measures the sound propagation within an environment, is critical for synthesizing high-fidelity audio for a given environment. Some prior work has proposed representing RIR as a neural field function of…

Sound · Computer Science 2023-09-29 Susan Liang , Chao Huang , Yapeng Tian , Anurag Kumar , Chenliang Xu

In this study, we define interaction components of different orders between two input variables based on game theory. We further prove that interaction components of different orders satisfy several desirable properties.

Machine Learning · Computer Science 2021-02-04 Hao Zhang , Xu Cheng , Yiting Chen , Quanshi Zhang

As applications grow in capability, they also grow in complexity. This complexity in turn gets pushed into modules and libraries. In addition, hardware configurations become increasingly elaborate, too. These two trends make understanding,…

Software Engineering · Computer Science 2018-03-21 Ronny Brendel , Bert Wesarg , Ronny Tschüter , Matthias Weber , Thomas Ilsche , Sebastian Oeste

We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a choreography language, which is a specification language that…

Logic in Computer Science · Computer Science 2026-03-13 Marco Carbone , Adele Veschetti

How do we integrate modality-specific perceptual information arising from the same physical event into a coherent percept? One possibility is that observers rely on information across perceptual modalities that shares temporal structure…

Neurons and Cognition · Quantitative Biology 2016-06-17 Jean M. Vettel , Julia R. Green , Laurie Heller , Michael J. Tarr