1422 search results - page 108 / 285 » Complementation in Abstract Interpretation |
133
click to vote
ICDAR
1997
IEEE
15 years 8 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
137
click to vote
ECCV
1990
Springer
16 years 6 months ago
1990
Springer
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
159
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
160
click to vote
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
146
click to vote
PEPM
1994
ACM
15 years 8 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...