5550 search results - page 640 / 1110 » Different Approaches to Proof Systems |
195
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we study the use of heterogeneous data for training of acoustic models. In initial experiments, a significant drop of accuracy has been observed on in-domain test s...
192
click to vote
ACL
2009
15 years 5 months ago
2009
We present a simple and scalable algorithm for clustering tens of millions of phrases and use the resulting clusters as features in discriminative classifiers. To demonstrate the ...
210
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
193
click to vote
CMSB
2010
Springer
15 years 2 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
223
click to vote
PAMI
2011
15 years 2 months ago
2011
—Extracting high-quality dynamic foreground layers from a video sequence is a challenging problem due to the coupling of color, motion, and occlusion. Many approaches assume that...