6014 search results - page 456 / 1203 » Structural Testing with Use Cases |
159
click to vote
IPMU
1994
Springer
15 years 10 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
197
click to vote
MASCOTS
2004
15 years 7 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
174
click to vote
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a study into all-pole spectral envelope estimation for the case of harmonic signals. We address the problem of the selection of the model order and propose to make use ...
173
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a system that extracts 109 musical features from symbolic recordings (MIDI, in this case) and uses them to classify the recordings by genre. The features used ...
180
click to vote
CCECE
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper, the authors present an evaluation of a new biometric based on electrocardiogram (ECG) waveforms. ECG data were collected from 50 subjects during 3 data recordings s...