Rafael Ramírez 0001

dblp:171/2223 · also Rafael Ramírez-Meléndez · DBLP profile ↗
← Back
26ranked-venue papers
19as first author
1since 2021 · last 2026
0000-0002-3294-0764ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 13 · 8 first-authorSoftware engineering, systems software and programming languages · 5 · 5 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 4 first-authorSystems, architecture and hardware · 3 · 3 first-authorHuman-computer interaction and ubiquitous computing · 3 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 1 first-author · 1 since 2021Databases, data management, data science and information retrieval · 2 · 1 first-authorTheory of computation · 2 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer graphics and multimedia
3 papers
Audio and music processing · 100%
Software engineering, system software, and programming languages
1 paper
Concurrent programming · 67% Program verification · 33%
Theoretical computer science
1 paper
Mathematical optimization · 100%
Artificial intelligence
1 paper
Deep learning architectures and training · 100%

Topics — the 6 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Audio and music processing
music information retrieval
0.112010
MML 2010: international workshop on machine learning and music · ACM Multimedia 2010
Mathematical optimization › multi-objective optimization
evolutionary algorithm
0.112006
A Sequential Covering Evolutionary Algorithm for Expressive Music Performance · AAAI 2006
Concurrent programming
concurrent programs
0.012004
Brief Announcement: constraint-based synchronization and verification of concurrent programs · PODC 2004
Program verification
model-based verification
0.012004
Brief Announcement: constraint-based synchronization and verification of concurrent programs · PODC 2004
Concurrent programming
synchronization
0.012004
Brief Announcement: constraint-based synchronization and verification of concurrent programs · PODC 2004
Audio and music processing
music analysis
0.012010
MML 2010: international workshop on machine learning and music · ACM Multimedia 2010

Methods — techniques the papers use, named apart from their topics

machine learning · 0.2evolutionary algorithm · 0.1model checking · 0.0constraint entailment · 0.0
YearPublicationVenuePosition
2026 MuSA Voice: Evaluating Deep Learning-Based Vocal Technique Feedback for Self-Regulated, Reflective Singing Practice
Suvi Häärä, Isabelle Oktay, Rafael Ramírez 0001
CSEDU (1)3
2015 BDSP: A Big Data Start Platform
abstract
We present the design and functionality of Big Data Start Platform (BDSP), a web system wherein users can perform Big Data tasks anytime, anywhere through any device with a browser and access to Internet. BDSP integrates different data sources and data processing tasks through web services. Its purpose is to serve in three ways: as a tool for rapid-prototyping of Big Data projects; as a base platform to be tuned and extended according to need; and as a training vehicle both in data analysis and in developing software for Big Data tasks.
José Juan Martínez-Peláez, Jorge Buenabad Chávez, José Rangel-Garcia, Rafael Ramírez 0001
ASONAM4
2015 The Effect of Using a Talking Head in Academic Videos: An EEG Study
abstract
This paper presents a study designed to understand the effect of using a talking head in academic videos frequently used in video-based learning approaches, such Massive Open Online Courses. The experiment consisted of exposing participants to videos about different types of open software licenses. Each participant was exposed to 3 videos, each with a different condition: instructor always presented (talking head condition), only instructor's voice present (only audio condition), and instructor presented only at the beginning of the video (mixed condition). Dependent variables included cognitive load, and emotional states (valance and arousal) obtained with electroencephalography, a personal assessment of the difficulty of the material, personal opinion regarding the social presence and performance in a memory test. The results indicate an increase in the cognitive load in the mixed condition, which may have implications regarding the use of the talking head in the design of academic videos.
Diana Diaz, Rafael Ramírez 0001, Davinia Hernández Leo
ICALT2
2012 A Rule-Based Evolutionary Approach to Music Performance Modeling
abstract
We describe an evolutionary approach to one of the most challenging problems in computer music: modeling how skilled musicians manipulate sound properties such as timing and amplitude in order to express their view of the emotional content of musical pieces. Starting with a collection of audio recordings of real performances, we apply a sequential-covering genetic algorithm in order to obtain computational models for different aspects of expressive performance. We use these models to automatically synthesize performances with the timing and energy expressiveness that characterizes the music generated by a professional musician. The reported results indicate that evolutionary computation is an appropriate technique for solving the problem considered. Specifically, our evolutionary algorithm provides a number of potential advantages over other supervised learning algorithms, such as a method for non-deterministically obtaining models capturing different possible interpretations of a musical piece.
Rafael Ramírez 0001, Esteban Maestre, Xavier Serra
IEEE Trans. Evol. Comput.1
2010 MML 2010: international workshop on machine learning and music
abstract
MML 2010, the International Workshop on Machine Learning and Music, continues a series of workshops related to artificial intelligence and machine learning in music. In this short article the Programme Chairs summarize the content of the workshop.
Rafael Ramírez 0001, Darrell Conklin, Christina Anagnostopoulou, José Manuel Iñesta Quereda
ACM Multimedia1
2010 Guest Editorial
abstract
Music has a long and rich tradition within machine learning.Some of the first applications of early computing machinery were statistical models of melody learned through the analysis of examples.Today machine learning is applied to highly complex music textures and used routinely for music classification, generation and improvisation, music analysis, and performance analysis, to name just a few key applications.Due to the steady increase in available data, most music processing applications can now be supported by some machine learning component.Methods for machine learning in music can be described in terms of their application task, the representation and characteristics of the input data, and the machine learning algorithm used.Though detailed musicological studies will always require clean symbolic data, the classical boundary of audio versus symbolic input is now starting to dissipate as many methods now translate audio data to the symbolic domain where learning takes place, then back again where learned results are applied to the audio signal.For this Special Issue of Intelligent Data Analysis we are pleased to present five articles that cover a wide range of application tasks and music data types.Submission to this Special Issue was solicited by the Editors and each submission was given three reviews by experts in the field, with a second round if necessary, followed by a check of
Darrell Conklin, Christina Anagnostopoulou, Rafael Ramírez 0001
Intell. Data Anal.3
2010 An approach to predicting bowing control parameter contours in violin performance
abstract
We present a machine learning approach to modeling bowing control parameter contours in violin performance. Using accurate sensing techniques we obtain relevant timbre-related bowing control parameters such as bow transversal velocity, bow pressing force, and bow-bridge distance of each performed n ote. Each performed note is represented by a curve parameter vector and a number of note classes are defined. The principal components of the data represented by the set of curve parameter vectors are obtained for each class. Once curve parameter vectors are expressed in the new space defined by the principal components, we train a model based on inductive logic programming, able to predict curve parameter vectors used for rendering bowing controls. We evaluate the prediction results and show the potential of the model by predicting bowing control parameter contours from an annotated input score.
Esteban Maestre, Rafael Ramírez 0001
Intell. Data Anal.2
2010 Genre classification of music by tonal harmony
abstract
In this paper we present a genre classification framework for audio music based on a symbolic classification system. Audio signals are transformed into a symbolic representation of harmony using a chord transcription algorithm, based on the computati
Carlos Pérez-Sancho, David Rizo, José Manuel Iñesta Quereda, Pedro J. Ponce de León, Stefan Kersten, Rafael Ramírez 0001
Intell. Data Anal.6
2010 Modeling violin performances using inductive logic programming
abstract
Professional musicians intuitively manipulate sound properties such as pitch, timing, amplitude and timbre in order to produce expressive performances of particular pieces. However, there is little explicit information about how and in which musical
Rafael Ramírez 0001, Alfonso Pérez, Stefan Kersten, David Rizo, Placido Roman, José Manuel Iñesta Quereda
Intell. Data Anal.1
2010 Automatic performer identification in commercial monophonic Jazz performances
Rafael Ramírez 0001, Esteban Maestre, Xavier Serra
Pattern Recognit. Lett.1
2009 A Timing-Based Classification Method for Human Voice in Opera Recordings
abstract
The goal of this work is to identify famous tenors from commercial recordings. Our approach is based on training expressive singer-specific models and using them to classify new musical fragments interpreted by singers that perform arias from the training set. In this paper we focus on expressive timing variations and build the models by applying machine learning techniques to a body of data consisting of high-level descriptors extracted from audio recordings. The experimental results show evidence that performers can be automatically identified at a rate significantly better than random choice.
Maria-Cristina V. Marinescu, Rafael Ramírez 0001
ICMLA2
2007 An evolutionary computation approach to cognitive states classification
abstract
The study of human brain functions has dramatically increased in recent years greatly due to the advent of functional magnetic resonance imaging. This paper presents a genetic programming approach to the problem of classifying the instantaneous cognitive state of a person based on his/her functional magnetic resonance imaging data. The problem provides a very interesting case study of training classifiers with extremely high dimensional, sparse and noisy data. We apply genetic programming for both feature selection and classifier training. We present a successful case study of induced classifiers which accurately discriminate between cognitive states produced by listening to different auditory stimuli.
Rafael Ramírez 0001, Montserrat Puiggròs
IEEE Congress on Evolutionary Computation1
2007 A Framework for Separation of Concerns in Concurrent Programming
abstract
A central issue of all approaches to composing adaptive software is a level of indirection for intercepting and redirecting interactions among program entities. It has been pointed out that separation of concerns is one of the key techniques for reconfigurable software design. In this paper we describe a general framework for the separation of concerns in concurrent applications. Concurrency issues are separated and treated as orthogonal to the system base functionality. The framework combines declarative and imperative programming and provides a powerful mechanism for synchronizing concurrent computations. We describe a particular implementation of the framework (for both uniprocessors and distributed systems) as an extension to the Java programming language, and comment on how model-based verification methods can be automatically applied to programs in the resulting language.
Rafael Ramírez 0001, Andrew E. Santosa
COMPSAC (2)1
2007 Inducing a generative expressive performance model using a sequential-covering genetic algorithm
abstract
In this paper, we describe an evolutionary approach to inducing a generative model of expressive music performance for Jazz saxophone. We begin with a collection of audio recordings of real Jazz saxophone performances from which we extract a symbolic representation of the musician's expressive performance. We then apply an evolutionary algorithm to the symbolic representation in order to obtain computational models for different aspects of expressive performance. Finally, we use these models to automatically synthesize performances with the expressiveness that characterizes the music generated by a professional saxophonist.
Rafael Ramírez 0001, Amaury Hazan
GECCO1
2007 A Machine Learning Approach to Detecting Instantaneous Cognitive States from fMRI Data
Rafael Ramírez 0001, Montserrat Puiggròs
PAKDD1
2007 Performance-Based Interpreter Identification in Saxophone Audio Recordings
abstract
We propose a novel approach to the task of identifying performers from their playing styles. We investigate how skilled musicians (Jazz saxophone players in particular) express and communicate their view of the musical and emotional content of musical pieces and how to use this information in order to automatically identify performers. We study deviations of parameters such as pitch, timing, amplitude and timbre both at an inter-note level and at an intra-note level. Our approach to performer identification consists of establishing a performer dependent mapping of inter-note features (essentially a "score" whether or not the score physically exists) to a repertoire of inflections characterized by intra-note features. We present a successful performer identification case study
Rafael Ramírez 0001, Esteban Maestre, Antonio Pertusa, Emilia Gómez, Xavier Serra
IEEE Trans. Circuits Syst. Video Technol.1
2006 A Sequential Covering Evolutionary Algorithm for Expressive Music Performance
Rafael Ramírez 0001, Amaury Hazan, Jordi Marine, Esteban Maestre
AAAI1
2005 Formal Verification of Concurrent and Distributed Constraint-Based Java Programs
abstract
The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. This paper describes (1) a powerful mechanism for elegantly synchronizing concurrent and distributed computations which supports a declarative model of concurrency that avoids explicitly suspending and resuming computations, (2) its implementation (for both uniprocessors and distributed systems) as an extension to the Java programming language, and (3) how model-based verification methods can be directly applied to programs in the resulting language.
Rafael Ramírez 0001, Andrew E. Santosa
ICECCS1
2005 A Learning Scheme for Generating Expressive Music Performances of Jazz Standards
Rafael Ramírez 0001, Amaury Hazan
IJCAI1
2004 Constraint-Based Synchronization and Verification of Distributed Java Programs
Rafael Ramírez 0001, Juanjo Martinez
ICLP1
2004 Induction of expressive music performance models
abstract
In this paper we describe a machine learning approach to one of the most challenging aspects of computer music: modeling the knowledge applied by a musician when performing a score in order to produce an expressive performance of a piece. We apply machine learning techniques to a set of monophonic Jazz standards recordings in order to induce both rules and a numeric model for expressive performance. We implement a tool for automatic expressive performance transformations of Jazz melodies using the induced knowledge.
Rafael Ramírez 0001, Amaury Hazan
ICMLA1
2004 Brief Announcement: constraint-based synchronization and verification of concurrent programs
abstract
This brief announcement outlines a new model for high-level concurrent and distributed programming based on constraint entailment, and how model-based verification methods can be directly applied to Java programs synchronizing using the model.
Rafael Ramírez 0001, Juanjo Martinez
PODC1
2003 Inducing Musical Rules with ILP
Rafael Ramírez 0001
ICLP1
2000 Implementing Declarative Concurrency in Java
Rafael Ramírez 0001, Andrew E. Santosa, Lee Wei Hong
Euro-Par1
2000 Concurrent Programming Made Easy
abstract
The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of "markers" denoting the processes points of interest; and (b) a constraint store. Process synchronization is specified by incrementally adding constraints on the markers execution order into the constraint store. The constraint store contains a declarative specification based on a temporal constraint logic program. The store, thus, acts as a coordination entity which on the one hand encapsulates the system synchronization requirements, and on the other hand, provides a declarative specification of the system concurrency issues. This provide great advantages in writing concurrent programs and manipulating them while preserving correctness.
Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap
ICECCS1
1998 Representing and Executing Real-Time Systems
Rafael Ramírez 0001
Euro-Par1