1189 search results - page 32 / 238 » The Quotient of an Abstract Interpretation |
CICLING
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Text interpretation can be considered as the process of extracting deep-level semantics from unstructured text documents. Deeplevel semantics represent abstract index str...
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract—In wireless networks with random node distribution, the underlying point process model and the channel fading process are usually considered separately. A unified frame...
BMCBI
2007
13 years 10 months ago
2007
Background: Gene Set Enrichment Analysis (GSEA) is a computational method for the statistical evaluation of sorted lists of genes or proteins. Originally GSEA was developed for in...
SE
2007
13 years 11 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...