339 search results - page 31 / 68 » Basic concepts of abstract interpretation |
108
click to vote
MUC
1991
15 years 3 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...
POPL
2010
ACM
14 years 12 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 ...
VIS
2007
IEEE
16 years 1 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 ...
109
click to vote
ICFCA
2009
Springer
15 years 6 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 5 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...