2203 search results - page 102 / 441 » Temporal Abstract Interpretation |
124
Voted
CAISE
2006
Springer
15 years 7 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 ...
139
click to vote
ECCV
1994
Springer
16 years 5 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...
128
Voted
FORMATS
2007
Springer
15 years 9 months 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...
100
Voted
CONTEXT
2005
Springer
15 years 9 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...
125
Voted
ECAI
2004
Springer
15 years 8 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...