1382 search results - page 262 / 277 » Formal Analysis of Online Algorithms |
166
click to vote
CIKM
2009
Springer
16 years 3 days ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
162
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
166
click to vote
TCS
2008
15 years 5 months ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
285
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
248
click to vote
GIS
2007
ACM
16 years 6 months ago
2007
ACM
Robust, global, address geocoding is challenging because there is no single address format that applies to all geographies, and in any case, users may not restrict themselves to w...