4814 search results - page 572 / 963 » Combining abstract interpreters |
194
click to vote
IJCNLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
184
click to vote
INEX
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
183
click to vote
ISMIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
325
click to vote
LCPC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Data copy is an important compiler optimization which dynamically rearranges the layout of arrays by copying their elements into local buffers. Traditionally, array copy...
178
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...