692 search results - page 37 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
CGA
2007
14 years 11 months ago
2007
abstract painting and practice can benefit information visualization—even though the two fields have significantly different objectives. This comparison reflects the spirit of ...
105
click to vote
PEPM
1994
ACM
15 years 3 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
ACSD
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
DAS
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...
FLAIRS
2008
15 years 2 months ago
2008
To facilitate more meaningful interpretation considering the internal interdependency relationships between data values, a new form of high-order (multiple-valued) pattern known a...