2203 search results - page 93 / 441 » Temporal Abstract Interpretation |
172
click to vote
FROCOS
2007
Springer
16 years 17 days 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...
185
click to vote
LFCS
2007
Springer
16 years 16 days 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...
203
click to vote
ECCV
2010
Springer
15 years 9 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...
148
click to vote
PUC
2010
15 years 4 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...
142
click to vote
COLING
1994
15 years 7 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...