This paper presents a method for analyzing expressive timing data from music performances. The goal is to uncover rules which explain a performer’s systematic timing manipulations in terms of structural features of the music such as form, harmonic progression, texture, and rhythm. A multi-tiered approach is adopted, in which one first identifies a continuous tempo curve by performing non-linear...

Analytical goals are the quantitative requirements that the product must meet. Goals must be specific and have a clear success/failure criterion. Ideally, goals should include a protocol and data analysis method. There are three categories of analytical goals. First, clinical acceptability is the total analytical error and total analytical error sources. Second, there are a variety of regulator...

Managing software development projects is a complex task because it requires organizing and monitoring several activities. Recently, in order to assist on software projects management, artifact-based models were proposed in the literature. However, the current solutions do not present means to monitor projects health and assist on decisions making. Due to the recent popularization of agile meth...

Top-down approaches to process improvement based on generic "best practice" models (e.g., CMM, TRILLIUM, BOOTSTRAP, SPICE) have become popular. Despite the idiosyncrasies of each of these approaches, they share some common characteristics: all of them are based on numerous assumptions about what are best practices, and about the business goals of organizations and the problems they face. Other ...

The Apollonian metric is a generalization of the hyperbolic metric, defined in a much larger class of open sets. However, since it was introduced by Beardon in 1998, it has remained an open question what its isometries are. Beardon first raised this question and asked if the Apollonian isometries were just Möbius mappings. In this paper we show that this is the case in open sets with regular, f...

In this paper, we prove that every topological space is a sequence-covering image of a metric space, which answers a question on pseudo-sequence-covering images of metric spaces.

The Voorhees/Buckley swap method is useful for comparing the discrimination power of Information Retrieval (IR) and Question Answering (QA) metrics. Given a test collection, a set of runs and an evaluation metric, it derives the swap rate, the chance of observing inconsistencies when two completely different topic sets are used for comparing a pair of runs. Recently, however, Sanderson and Zobe...

This paper introduces a novel planning method for reactive agents. Our planning method han­ dles, in a single framework, issues from A I , control theory, and concurrency that have so far been considered apart. These issues are mostly control labi l i ty, safety, bounded liveness, and real t ime. Our approach is founded on the supervisory control theory and on Metric Temporal Logic ( M T L ) . ...

Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems containing numeric goal expressions. We report on planner S-MEP (Sequential More Expressive Planner) in this paper. S-MEP handles non-linear as well as linear expressions in preconditions, effects and goal. Metric-FF h...