14078 search results - page 2649 / 2816 » Design and Analysis of Computer Algorithms |
135
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
We study the problem of detecting coordinated free text campaigns in large-scale social media. These campaigns – ranging from coordinated spam messages to promotional and advert...
119
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
Typically, users interact with database systems by formulating queries. However, many times users do not have a clear understanding of their information needs or the exact content...
138
click to vote
SIGCSE
2012
ACM
13 years 11 months ago
2012
ACM
We present CSTutor, a sketch-based interface designed to help students understand data structures. It currently supports Linked Lists, Binary Search Trees, AVL Trees, and Heaps, a...
177
click to vote
CADE
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
123
Voted
AAAI
2012
13 years 5 months ago
2012
We consider the problem of selecting fair divisions of a heterogeneous divisible good among a set of agents. Recent work (Cohler et al., AAAI 2011) focused on designing algorithms...