732 search results - page 45 / 147 » Periodicity-Based Temporal Constraints |
112
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
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...
146
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
132
click to vote
MMMACNS
2005
Springer
15 years 9 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
102
Voted
AAAI
2000
15 years 4 months ago
2000
Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...