Sciweavers

98 search results - page 2 / 20
» A note on weak dividing
Sort
View
ISMIR
2005
Springer
150views Music» more  ISMIR 2005»
14 years 1 months ago
Comparing Pitch Spelling Algorithms
A pitch spelling algorithm predicts the pitch names of the notes in a musical passage when given the onset-time, MIDI note number and possibly the duration and voice of each note....
David Meredith, Geraint A. Wiggins
UAI
1998
13 years 8 months ago
Flexible Decomposition Algorithms for Weakly Coupled Markov Decision Problems
This paper presents two new approaches to decomposing and solving large Markov decision problems (MDPs), a partial decoupling method and a complete decoupling method. In these app...
Ronald Parr
DM
2008
129views more  DM 2008»
13 years 7 months ago
On association schemes all elements of which have valency 1 or 2
In the present note, we investigate schemes S in which each element s satisfies ns 2 and nss = 2. We show that such a scheme is schurian. More precisely, we show that it is isomor...
Mikhail E. Muzychuk, Paul-Hermann Zieschang
CORR
2008
Springer
172views Education» more  CORR 2008»
13 years 7 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger
QSIC
2003
IEEE
14 years 23 days ago
A Note on Test Oracles and Semantics of Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
Hong Zhu