3724 search results - page 203 / 745 » Timed regular expressions |
166
click to vote
FORMATS
2005
Springer
16 years 1 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
164
click to vote
TIM
2010
15 years 1 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
137
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
177
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
127
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...