1687 search results - page 154 / 338 » Which pointer analysis should I use |
134
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
142
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
168
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—We suggest a novel approach to handle the ongoing explosive increase in the demand for video content in wireless/mobile devices. We envision femtocell-like base stations...
124
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
131
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents an approach of a cross-lingual information retrieval which uses a ranking method based on a penalisation version of the Jaccard formula. The obtained results a...