907 search results - page 124 / 182 » Monitoring of Real-Time Properties |
FORMATS
2010
Springer
13 years 6 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...
ICDE
2004
IEEE
14 years 9 months ago
2004
IEEE
The past decade has seen a wealth of research on time series representations, because the manipulation, storage, and indexing of large volumes of raw time series data is impractic...
NETGAMES
2006
ACM
14 years 2 months ago
2006
ACM
While psychologists analyze network game-playing behavior in terms of players’ social interaction and experience, understanding user behavior is equally important to network res...
ETRA
2010
ACM
14 years 1 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...
VISUALIZATION
1997
IEEE
14 years 11 days ago
1997
IEEE
Recursive subdivision schemes have been extensively used in computer graphics and scientific visualization for modeling smooth surfaces of arbitrary topology. Recursive subdivisi...