Sciweavers

20807 search results - page 297 / 4162
» How to read a paper
Sort
View
POPL
2011
ACM
14 years 9 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
ECTEL
2011
Springer
14 years 6 months ago
On the Way to a Science Intelligence: Visualizing TEL Tweets for Trend Detection
This paper presents an adaptable system for detecting trends based on the micro-blogging service Twitter, and sets out to explore to what extent such a tool can support researchers...
Peter Kraker, Claudia Wagner, Fleur Jeanquartier, ...
TMA
2012
Springer
232views Management» more  TMA 2012»
14 years 2 months ago
Distributed Troubleshooting of Web Sessions Using Clustering
Web browsing is a very common way of using the Internet to, among others, read news, do on-line shopping, or search for user generated content such as YouTube or Dailymotion. Tradi...
Heng Cui, Ernst Biersack
STOC
2012
ACM
201views Algorithms» more  STOC 2012»
13 years 9 months ago
From irreducible representations to locally decodable codes
Locally Decodable Code (LDC) is a code that encodes a message in a way that one can decode any particular symbol of the message by reading only a constant number of locations, eve...
Klim Efremenko
ACL
2012
13 years 9 months ago
Joint Feature Selection in Distributed Stochastic Learning for Large-Scale Discriminative Training in SMT
With a few exceptions, discriminative training in statistical machine translation (SMT) has been content with tuning weights for large feature sets on small development data. Evid...
Patrick Simianer, Stefan Riezler, Chris Dyer