1422 search results - page 33 / 285 » Complementation in Abstract Interpretation |
104
click to vote
CICLING
2008
Springer
15 years 4 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...
115
click to vote
LPAR
2004
Springer
15 years 7 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
15 years 1 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...
102
click to vote
SE
2007
15 years 3 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...
112
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...