2203 search results - page 87 / 441 » Temporal Abstract Interpretation |
129
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
115
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
ICCL
1992
IEEE
15 years 7 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
124
click to vote
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Temporal data are abundantly present in many application domains such as banking, financial, clinical, geographical applications and so on. Temporal data have been extens...
157
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...