5639 search results - page 396 / 1128 » Timed Abstract Non-interference |
134
click to vote
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract-The analysis of data usage in a large set of real traces from a high-energy physics collaboration revealed the existence of an emergent grouping of files that we coined &q...
106
click to vote
TCS
2002
15 years 4 months ago
2002
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
123
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
126
click to vote
ECCV
1998
Springer
16 years 6 months ago
1998
Springer
Abstract. This paper proposes an approach for automatic road extraction in aerial imagery which exploits the scale-space behavior of roads in combination with geometric constrained...
151
click to vote
ECCV
1994
Springer
16 years 6 months ago
1994
Springer
Abstract. This paper de nes a temporal continuity constraint that expresses assumptions about the evolution of 2D image velocity, or optical ow, over a sequence of images. Temporal...