1382 search results - page 262 / 277 » Formal Analysis of Online Algorithms |
112
Voted
CIKM
2009
Springer
15 years 6 months 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...
103
click to vote
ISSTA
2010
ACM
15 years 3 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 ...
117
click to vote
TCS
2008
14 years 11 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...
209
click to vote
POPL
2004
ACM
16 years 5 hour 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...
182
click to vote
GIS
2007
ACM
16 years 23 days 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...