23590 search results - page 4354 / 4718 » Algorithm Performance Contest |
203
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
184
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Wireless sensor networks have been proposed for many location-dependent applications. In such applications, the requirement of low system cost prohibits many range-based methods f...
209
click to vote
WSDM
2009
ACM
16 years 1 months ago
2009
ACM
Text streams are becoming more and more ubiquitous, in the forms of news feeds, weblog archives and so on, which result in a large volume of data. An effective way to explore the...
204
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
Keyword searches are attractive because they facilitate users searching structured databases. On the other hand, tag clouds are popular for navigation and visualization purposes o...
162
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Anomalous windows are the contiguous groupings of data points. In this paper, we propose an approach for discovering anomalous windows using Scan Statistics for Linear Intersectin...