Tijn Borghuis

According to our database, Tijn Borghuis authored at least 10 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Workshop on open-access educational materials.

Lavinia Marin, Tijn Borghuis, Roel Veraart, Tanishi Naik

Proceedings of the IEEE International Symposium on Technology and Society, 2021

2020

CONLON: A Pseudo-Song Generator Based on a New Pianoroll, Wasserstein Autoencoders, and Optimal Interpolations.

Luca Angioloni, Valentijn Borghuis, Lorenzo Brusci, Paolo Frasconi

Proceedings of the 21th International Society for Music Information Retrieval Conference, 2020

Pattern-Based Music Generation with Wasserstein Autoencoders and PRC Descriptions.

Valentijn Borghuis, Luca Angioloni, Lorenzo Brusci, Paolo Frasconi

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Off the Beaten Track: Using Deep Learning to Interpolate Between Music Genres.

Tijn Borghuis, Alessandro Tibo, Simone Conforti, Luca Canciello, Lorenzo Brusci, Paolo Frasconi

CoRR, 2018

2002

Formalizing Belief Revision in Type Theory.

Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt

Log. J. IGPL, 2002

2000

A Constructive Logic for Services and Information Flow in Computer Networks.

Tijn Borghuis, Loe M. G. Feijs

Comput. J., 2000

1998

Modal Pure Type Systems.

Tijn Borghuis

J. Log. Lang. Inf., 1998

Communication Modelling and Context-Dependent Interpretation: An Integrated Approach.

René M. C. Ahn, Tijn Borghuis

Proceedings of the Types for Proofs and Programs, 1998

1995

Multimodal Cooperation with the DENK System.

Harry Bunt, René M. C. Ahn, Robbert-Jan Beun, Tijn Borghuis, Cornelius W. A. M. van Overveld

Proceedings of the Multimodal Human-Computer Communication, 1995

1994

The DenK-architecture: A Fundamental Approach to User-Interfaces.

René M. C. Ahn, Harry Bunt, Robbert-Jan Beun, Tijn Borghuis, Cornelius W. A. M. van Overveld

Artif. Intell. Rev., 1994