1521 search results - page 275 / 305 » On Sampled Semantics of Timed Systems |
130
click to vote
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
UIST
2000
ACM
15 years 2 months ago
2000
ACM
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...
156
click to vote
ACMSE
2007
ACM
15 years 1 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
DEBS
2010
ACM
15 years 1 months ago
2010
ACM
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...
107
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...