677 search results - page 106 / 136 » Dependent Types from Counterexamples |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...
164
click to vote
AFPAC
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...
BMCBI
2010
14 years 10 months ago
2010
Background: Many functional proteins have a symmetric structure. Most of these are multimeric complexes, which are made of non-symmetric monomers arranged in a symmetric manner. H...
101
click to vote
JCB
2007
14 years 9 months ago
2007
Many bioinformatics problems can implicitly depend on estimating large-scale covariance matrix. The traditional approaches tend to give rise to high variance and low accuracy esti...