413 search results - page 45 / 83 » Abstract Argumentation Scheme Frameworks |
125
click to vote
DAGM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
147
click to vote
SODA
2012
ACM
13 years 4 months ago
2012
ACM
Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching f...
129
click to vote
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
MLG
2007
Springer
15 years 8 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
114
click to vote
IDA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We apply sparse, fast and flexible adaptive lapped orthogonal transforms to underdetermined audio source separation using the time-frequency masking framework. This norm...