8828 search results - page 1301 / 1766 » Formal methods in practice |
187
click to vote
PAMI
2007
15 years 6 months ago
2007
—This paper presents a novel iris coding method based on differences of discrete cosine transform (DCT) coefficients of overlapped angular patches from normalized iris images. Th...
229
click to vote
COGSCI
2010
15 years 5 months ago
2010
Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these ‘‘ling...
199
click to vote
JMS
2010
15 years 5 months ago
2010
Health Level Seven (HL7) organization published the Clinical Document Architecture (CDA) for exchanging documents among heterogeneous systems and improving medical quality based on...
207
click to vote
NN
2010
Springer
15 years 5 months ago
2010
Springer
The ratio of two probability density functions is becoming a quantity of interest these days in the machine learning and data mining communities since it can be used for various d...
403
click to vote
PAMI
2010
15 years 5 months ago
2010
—This paper addresses the problem of self-validated labeling of Markov random fields (MRFs), namely to optimize an MRF with unknown number of labels. We present graduated graph c...