8828 search results - page 366 / 1766 » Formal methods in practice |
152
click to vote
EOR
2002
15 years 6 months ago
2002
The assignment of alternatives (observations/objects) into predefined homogenous groups is a problem of major practical and research interest. This type of problem is referred to ...
167
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we revisit some basic configuration choices of HMMbased speech synthesis, such as waveform sampling rate, auditory frequency warping scale and the logarithmic scali...
169
click to vote
ICCMS
2009
15 years 4 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
227
click to vote
EOR
2010
15 years 4 months ago
2010
We consider the bicriteria scheduling problem of minimizing the number of tardy jobs and average flowtime on a single machine. This problem, which is known to be NP-hard, is impor...
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spherical microphone arrays provide a flexible solution to obtaining higher-order directivity patterns, which are useful in audio recording and reproduction. A general systematic...