2203 search results - page 93 / 441 » Temporal Abstract Interpretation |
133
click to vote
FROCOS
2007
Springer
15 years 9 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
144
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
163
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we address the problem of tracking the temporal evolution of arbitrary shapes observed in multi-camera setups. This is motivated by the ever growing number...
108
click to vote
PUC
2010
15 years 1 months ago
2010
Abstract Digital technologies have enabled new temporalities of media consumption in the home. Through a field study of home television viewing practices, we investigated temporal...
106
click to vote
COLING
1994
15 years 4 months ago
1994
This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...