339 search results - page 31 / 68 » Basic concepts of abstract interpretation |
131
click to vote
MUC
1991
15 years 5 months ago
1991
ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...
118
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
115
click to vote
VIS
2007
IEEE
16 years 3 months ago
2007
IEEE
Topological methods give concise and expressive visual representations of flow fields. The present work suggests a comparable method for the visualization of human brain diffusion ...
128
click to vote
ICFCA
2009
Springer
15 years 8 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...
ICDM
2006
IEEE
15 years 8 months ago
2006
IEEE
Many 0/1 datasets have a very large number of variables; however, they are sparse and the dependency structure of the variables is simpler than the number of variables would sugge...