2203 search results - page 102 / 441 » Temporal Abstract Interpretation |
171
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a new approach to collaborative filtering in mobile tourist information systems based on spatio-temporal proximity in social contexts. Users store ratings and ...
179
click to vote
ECCV
1994
Springer
16 years 8 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...
168
click to vote
FORMATS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
121
click to vote
CONTEXT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Spatial and temporal granularity can be understood as parameters of context restricting the set of accessible objects in a context. Starting from the idea that this selec...
169
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...