321 search results - page 34 / 65 » Relating complexity and precision in control flow analysis |
ISSTA
2000
ACM
13 years 12 months ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
BMCBI
2008
13 years 7 months ago
2008
Background: Proteomic profiling using mass spectrometry (MS) is one of the most promising methods for the analysis of complex biological samples such as urine, serum and tissue fo...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
COMPUTING
2004
13 years 7 months ago
2004
Surface flattening is a crucial problem for many applications as indicated by the steady flow of new methods appearing in related publications. Quality control of these methods, b...
COLING
2008
13 years 9 months ago
2008
We describe an entirely statistics-based, unsupervised, and languageindependent approach to multilingual information retrieval, which we call Latent Morpho-Semantic Analysis (LMSA...