1419 search results - page 103 / 284 » Notes on Formalizing Context |
140
click to vote
FIW
1998
15 years 2 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
93
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper is about constructing confidence bands around ROC curves. We first introduce to the machine learning community three band-generating methods from the medical field, and...
92
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Users of traditional tutorials and help systems often have difficulty finding the components described or pictured in the procedural instructions. Users also unintentionally miss ...
92
Voted
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
130
click to vote
ALT
2002
Springer
15 years 9 months ago
2002
Springer
We describe a new boosting algorithm that is the first such algorithm to be both smooth and adaptive. These two features make possible performance improvements for many learning ...