41 research outputs found

    CONLON: A pseudo-song generator based on a new pianoroll, Wasserstein autoencoders, and optimal interpolations

    Get PDF
    We introduce CONLON, a pattern-based MIDI generation method that employs a new lossless pianoroll-like data description in which velocities and durations are stored in separate channels. CONLON uses Wasserstein autoencoders as the underlying generative model. Its generation strategy is similar to interpolation, where MIDI pseudo-songs are obtained by concatenating patterns decoded from smooth trajectories in the embedding space, but aims to produce a smooth result in the pattern space by computing optimal trajectories as the solution of a widest-path problem. A set of surveys enrolling 69 professional musicians shows that our system, when trained on datasets of carefully selected and coherent patterns, is able to produce pseudo-songs that are musically consistent and potentially useful for professional musicians. Additional materials can be found at https://paolo-f.github.io/CONLON/

    Interpreting modal natural deduction in type theory

    No full text

    Interpreting modal natural deduction in type theory

    No full text

    Interpreting modal natural deduction in type theory

    No full text

    Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus

    No full text

    Priorean tense logics in modal pure type systems

    Get PDF
    corecore