1422 search results - page 175 / 285 » Complementation in Abstract Interpretation |
140
click to vote
FLOPS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
123
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
150
click to vote
CSL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
160
click to vote
EMMCVPR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Synthetic aperture radar SAR images are notoriously di cult to interpret. Segmentation is simpli ed if a digital map is available, to which the image can be registered....
147
click to vote
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...