12148 search results - page 2062 / 2430 » Generalized Bundle Methods |
303
Voted
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
193
Voted
CAV
2009
Springer
16 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
209
click to vote
KDD
2009
ACM
16 years 8 months ago
2009
ACM
This paper describes and evaluates privacy-friendly methods for extracting quasi-social networks from browser behavior on user-generated content sites, for the purpose of finding ...
195
click to vote
KDD
2009
ACM
16 years 8 months ago
2009
ACM
Labeling text data is quite time-consuming but essential for automatic text classification. Especially, manually creating multiple labels for each document may become impractical ...
233
Voted
KDD
2009
ACM
16 years 8 months ago
2009
ACM
Active and semi-supervised learning are important techniques when labeled data are scarce. Recently a method was suggested for combining active learning with a semi-supervised lea...