4814 search results - page 310 / 963 » Combining abstract interpreters |
167
click to vote
FCS
2006
15 years 8 months ago
2006
Abstract A valiant of L-system called `matrix L-system' is introduced to model the folding process of a square paper into small polygons (rectangles or triangles). Using this ...
166
click to vote
AAAI
1998
15 years 8 months ago
1998
A key problem in text summarization is finding a salience function which determines what information in the source should be included in the summary. This paper describes the use ...
147
click to vote
ECEASST
2008
15 years 6 months ago
2008
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
188
click to vote
ENTCS
2008
15 years 6 months ago
2008
Abstract. We give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting tech...
186
click to vote
ECEASST
2006
15 years 6 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...