4211 search results - page 230 / 843 » Types as Abstract Interpretations |
144
click to vote
ECCV
1990
Springer
16 years 7 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 ...
175
Voted
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...
175
Voted
MFCS
1998
Springer
15 years 9 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...
147
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
159
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...