中文
相关论文

相关论文: Automatic Music Composition using Answer Set Progr…

200 篇论文

This paper presents the Computoser hybrid probability/rule based algorithm for music composition (http://computoser.com) and provides a reference implementation. It addresses the issues of unpleasantness and lack of variation exhibited by…

人工智能 · 计算机科学 2014-12-10 Bozhidar Bozhanov

This paper introduces the ACCompanion, an expressive accompaniment system. Similarly to a musician who accompanies a soloist playing a given musical piece, our system can produce a human-like rendition of the accompaniment part that follows…

Autoresearch offers a flexible paradigm for automating scientific tasks, in which an AI agent proposes, implements, evaluates, and refines candidate solutions against a quantitative objective. Here, we use composition-based…

材料科学 · 物理学 2026-05-15 Matteo Cobelli , Stefano Sanvito

Large Language Models (LLMs) have exhibited significant potential in performing diverse tasks, including the ability to call functions or use external tools to enhance their performance. While current research on function calling by LLMs…

计算与语言 · 计算机科学 2025-03-04 Mingyang Chen , Haoze Sun , Tianpeng Li , Fan Yang , Hao Liang , Keer Lu , Bin Cui , Wentao Zhang , Zenan Zhou , Weipeng Chen

This paper demonstrates emergence of computational creativity in the field of music. Different aspects of creativity such as producer, process, product and press are studied and formulated. Different notions of computational creativity such…

声音 · 计算机科学 2019-04-30 Subodh Deolekar , Siby Abraham

Automatic music transcription (AMT) is one of the most challenging tasks in the music information retrieval domain. It is the process of converting an audio recording of music into a symbolic representation containing information about the…

声音 · 计算机科学 2023-05-02 Michał Leś , Michał Woźniak

Many people are interested in taking astonishing photos and sharing with others. Emerging hightech hardware and software facilitate ubiquitousness and functionality of digital photography. Because composition matters in photography,…

计算机视觉与模式识别 · 计算机科学 2018-11-13 Farshid Farhat , Mohammad Mahdi Kamani , James Z. Wang

Compositional generalization is a basic and essential intellective capability of human beings, which allows us to recombine known parts readily. However, existing neural network based models have been proven to be extremely deficient in…

人工智能 · 计算机科学 2020-10-27 Qian Liu , Shengnan An , Jian-Guang Lou , Bei Chen , Zeqi Lin , Yan Gao , Bin Zhou , Nanning Zheng , Dongmei Zhang

This paper presents an unsupervised machine learning algorithm that identifies recurring patterns -- referred to as ``music-words'' -- from symbolic music data. These patterns are fundamental to musical structure and reflect the cognitive…

Algorithmic composition of music has a long history and with the development of powerful deep learning methods, there has recently been increased interest in exploring algorithms and models to create art. We explore the utility of state…

声音 · 计算机科学 2018-10-02 Anna K. Yanchenko , Sayan Mukherjee

A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model…

计算机科学中的逻辑 · 计算机科学 2016-12-16 Tobias Kappé , Farhad Arbab , Carolyn Talcott

Automatic systems for music content recommendation have assumed a new role in recent years. These systems have transformed from being just a convenient, standalone tool into an inseparable element of modern living. In addition, not only do…

计算机与社会 · 计算机科学 2016-04-04 Krzysztof Wołk

Traditionally, the way one evaluates the performance of an Artificial Intelligence (AI) system is via a comparison to human performance in specific tasks, treating humans as a reference for high-level cognition. However, these comparisons…

人工智能 · 计算机科学 2019-11-25 Camilo M. Signorelli , Xerxes D. Arsiwalla

A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable. Humans mitigate this problem by leveraging the compositional nature of the real world: In…

人工智能 · 计算机科学 2024-12-25 Jonas Witt , Sebastijan Dumančić , Tias Guns , Claus-Christian Carbon

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting…

人工智能 · 计算机科学 2011-07-04 J. Keppens , Q. Shen

This paper describes an approach to the methodology of answer set programming (ASP) that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group…

人工智能 · 计算机科学 2019-08-08 Vladimir Lifschitz

Accompaniment arrangement is a difficult music generation task involving intertwined constraints of melody, harmony, texture, and music structure. Existing models are not yet able to capture all these constraints effectively, especially for…

声音 · 计算机科学 2021-08-26 Jingwei Zhao , Gus Xia

In the domain of Music Information Retrieval (MIR), Automatic Music Transcription (AMT) emerges as a central challenge, aiming to convert audio signals into symbolic notations like musical notes or sheet music. This systematic review…

声音 · 计算机科学 2024-06-24 Fatemeh Jamshidi , Gary Pike , Amit Das , Richard Chapman

As autonomy becomes prevalent in many applications, ranging from recommendation systems to fully autonomous vehicles, there is an increased need to provide safety guarantees for such systems. The problem is difficult, as these are large,…

人工智能 · 计算机科学 2018-10-22 Corina S. Pasareanu , Divya Gopinath , Huafeng Yu

The ability to learn and compose functions is foundational to efficient learning and reasoning in humans, enabling flexible generalizations such as creating new dishes from known cooking processes. Beyond sequential chaining of functions,…

人工智能 · 计算机科学 2024-03-20 Yanli Zhou , Brenden M. Lake , Adina Williams