2272 search results - page 187 / 455 » Validity Invariants and Effects |
180
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The area under the ROC curve (AUC) has been widely used to measure ranking performance for binary classification tasks. AUC only employs the classifier’s scores to ra...
204
click to vote
SSDBM
2005
IEEE
16 years 20 days ago
2005
IEEE
With the growing demand on cluster analysis for categorical data, a handful of categorical clustering algorithms have been developed. Surprisingly, to our knowledge, none has sati...
192
click to vote
ISMIR
2005
Springer
16 years 18 days ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
171
Voted
VMCAI
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
178
click to vote
CCS
2004
ACM
16 years 15 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...