In this paper is described a data-driven algorithm for the functionally correct spelling of MIDI pitch values in terms of Western musical notation. Input is in the form of MIDI fi...
Josh Stoddard, Christopher Raphael, Paul E. Utgoff
For cancers with more than one risk factor, the sum of probabilistic estimates of the number of cancers attributable to each individual factor may exceed the total number of cases...
Minh Ha-Duong, Elizabeth Casman, M. Granger Morgan
Abstract--This paper studies a family of distributions constructed from multivariate gamma distributions to model the statistical properties of multisensor synthetic aperture radar...
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
Production development can conflict with production ergonomics and management of environmental impacts. In this paper, we describe how ergonomics can be assessed in production sys...
Salla Lind, Boris Krassi, Juhani Viitaniemi, Sauli...