912 search results - page 4 / 183 » Abstract Saturation-Based Inference |
CTRS
1994
14 years 1 months ago
1994
AAAI
1994
13 years 11 months ago
1994
CORR
2004
Springer
13 years 9 months ago
2004
Springer
JACM
2010
13 years 8 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
13 years 8 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...