1901 search results - page 165 / 381 » Predicting Program Properties from |
140
click to vote
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
114
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper introduces a novel machine learning model called multiple instance ranking (MIRank) that enables ranking to be performed in a multiple instance learning setting. The mo...
98
Voted
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
Dimensionality reduction is the problem of finding a low-dimensional representation of highdimensional input data. This paper examines the case where additional information is kno...
116
click to vote
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
146
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...