3680 search results - page 95 / 736 » cases 2010 |
134
click to vote
ECCC
2010
15 years 4 months ago
2010
We initiate the study of the proof complexity of propositional encoding of (weak cases of) concrete independence results. In particular we study the proof complexity of Paris-Harr...
151
click to vote
ADAC
2010
15 years 3 months ago
2010
In this paper we propose a robust classification rule for skewed unimodal distributions. For low dimensional data, the classifier is based on minimizing the adjusted outlyingness t...
134
click to vote
INTERSPEECH
2010
15 years 29 days ago
2010
In this paper we examine cases of non-final nucleus (or sentence stress) in English, Czech and Hungarian. These three languages differ substantially with respect to word order rul...
132
click to vote
INTERSPEECH
2010
15 years 29 days ago
2010
Last year, we showed that the computation of a GMM-UBMbased speaker verification (SV) system may be sped up by 30 times by using a high-density discrete model (HDDM) on the NIST 2...
134
click to vote
NHM
2010
15 years 28 days ago
2010
A quasistatic evolution problem for a phase transition model with nonconvex energy density is considered in terms of Young measures. We focus on the particular case of a finite num...