3602 search results - page 26 / 721 » Isn't It About Time |
121
Voted
Publication
Abstract—In the analysis of spatially-referenced timedependent
data, gaining an understanding of the spatiotemporal
distributions and relationships among the attributes
in the...
88
Voted
CHARME
1993
Springer
15 years 4 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
65
Voted
IPL
2006
15 years 22 days ago
2006
In this paper, we strengthen two recent undecidability results of [9,10] about weighted timed automata, an extension of timed automata with cost variables. More precisely, we prop...
112
Voted
IDA
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes an unsupervised algorithm for segmenting categorical time series. The algorithm first collects statistics about the frequency and boundary entropy of ngrams, t...
81
Voted
TACAS
1999
Springer
15 years 5 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...