Sciweavers

4816 search results - page 200 / 964
» Performance analysis of the AntNet algorithm
Sort
View
PLDI
2003
ACM
15 years 11 months ago
Points-to analysis using BDDs
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
Marc Berndl, Ondrej Lhoták, Feng Qian, Laur...
SODA
2010
ACM
135views Algorithms» more  SODA 2010»
16 years 3 months ago
Probabilistic Analysis of the Semidefinite Relaxation Detector in Digital Communications
We consider the problem of detecting a vector of symbols that is being transmitted over a fading multiple?input multiple?output (MIMO) channel, where each symbol is an ?th root of...
Anthony Man-Cho So
IEEECIT
2009
IEEE
16 years 1 months ago
Web Forum Sentiment Analysis Based on Topics
As web forum has become an enormous collection of highly valuable opinions and commentaries, more and more researchers express strong interests on it. However, most of them pay at...
Lei Shi, Bai Sun, Liang Kong, Yan Zhang
CIBCB
2008
IEEE
16 years 26 days ago
Very large scale ReliefF for genome-wide association analysis
— The genetic causes of many monogenic diseases have already been discovered. However, most common diseases are actually the result of complex nonlinear interactions between mult...
Margaret J. Eppstein, Paul Haake
143
Voted
WDAG
2007
Springer
63views Algorithms» more  WDAG 2007»
16 years 15 days ago
A Formal Analysis of the Deferred Update Technique
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
Rodrigo Schmidt, Fernando Pedone