Sciweavers

AAAI
2015
10 years 1 months ago
What's Hot in the SAT and ASP Competitions
During the Vienna Summer of Logic, the first FLoC Olympic Games were organized, bringing together a dozen competitions related to logic. Here we present the highlights of the Sat...
Marijn Heule, Torsten Schaub
AAAI
2015
10 years 1 months ago
Generalized Singular Value Thresholding
Canyi Lu, Changbo Zhu, Chunyan Xu, Shuicheng Yan, ...
AAAI
2015
10 years 1 months ago
Extracting Verb Expressions Implying Negative Opinions
Identifying aspect-based opinions has been studied extensively in recent years. However, existing work primarily focused on adjective, adverb, and noun expressions. Clearly, verb ...
Huayi Li, Arjun Mukherjee, Jianfeng Si, Bing Liu 0...
AAAI
2015
10 years 1 months ago
Hedonic Coalition Formation in Networks
Coalition formation is a fundamental problem in the organization of many multi-agent systems. In large populations, the formation of coalitions is often restricted by structural v...
Martin Hoefer, Daniel Vaz, Lisa Wagner
AAAI
2015
10 years 1 months ago
R1SVM: A Randomised Nonlinear Approach to Large-Scale Anomaly Detection
The problem of unsupervised anomaly detection arises in a wide variety of practical applications. While one-class support vector machines have demonstrated their effectiveness as ...
Sarah M. Erfani, Mahsa Baktashmotlagh, Sutharshan ...