10715 search results - page 184 / 2143 » Proofs from Tests |
109
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
We propose two statistical tests to determine if two samples are from different distributions. Our test statistic is in both cases the distance between the means of the two sample...
112
Voted
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
Resolving local ambiguities is an important issue for shape from shading (SFS). Pixel ambiguities of SFS can be eliminated by propagation approaches. However, patch ambiguities st...
77
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
121
click to vote
ASM
2010
ASM
15 years 4 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
95
Voted
COLING
2000
15 years 2 months ago
2000
Mophological processing, syntactic parsing and other useflfl tools have been proposed in the field of natural language processing(NLP). Many of those NLP tools take dictionary-bas...