912 search results - page 4 / 183 » Abstract Saturation-Based Inference |
AAAI
1994
15 years 1 months ago
1994
CORR
2004
Springer
14 years 11 months ago
2004
Springer
112
click to vote
JACM
2010
14 years 10 months ago
2010
clustering of documents according to sharing of topics at multiple levels of abstraction. Given a corpus of documents, a posterior inference algorithm finds an approximation to a ...
SAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...