Several authors have identified that the only feasible way to increase productivity in software construction is to reuse existing software. To achieve this, component-based software development is one of the more promising approaches. However, traditional research in component-oriented programming often assumes that components are reused “as-is”. Practitioners have found that “as-is” reuse seld...

The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined with a basic program. We assume that both the basic program and the collection of aspects have their own specifications. The Bandera tool for Java programs is used to generate input for model checkers, although any si...

Morphometrics, a new branch of statistics, combines tools from geometry, computer graphics and biometrics in techniques for the multivariate analysis of biological shape variation. Although medical image analysts typically prefer to represent scenes by way of curving outlines or surfaces, the most recent developments in this associated statistical methodology have emphasized the domain of landm...

Pitheciids, one of the major radiations of New World monkeys endemic to South and Central America, are distributed in the Amazon and Orinoco basins, and include Callicebus, Cacajao, Chiropotes, and Pithecia. Molecular phylogenetics strongly support pitheciid monophyly, whereas morphological analyses infer a range of phylogenies including a sister relationship between Aotus and Callicebus. We co...

Gait recognition has recently attracted increasing attention, especially in vision-based human identification at a distance in visual surveillance. This paper proposes a simple but efficient gait recognition algorithm based on statistical shape analysis. For each gait sequence, a background subtraction procedure is used to segment spatial silhouettes of the walking figures from the background. ...

When infrared spectral data are used in classification and/or multivariate regression methods there can be problems related to both chemical understanding and computation speed due to the large number of wavenumbers in each spectrum. Here, it is shown that the Procrustes rotation technique can be used to select a minimum set of spectral variables (wavenumbers) to perform classification and regr...

Superimposition has been used as a method to evaluate the changes of orthodontic or orthopedic treatment in the dental field. With the introduction of cone beam CT (CBCT), evaluating 3 dimensional changes after treatment became possible by superimposition. 4 point plane orientation is one of the simplest ways to achieve superimposition of 3 dimensional images. To find factors influencing superi...