5356 search results - page 92 / 1072 » Adventures in time and space |
102
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
UIST
1997
ACM
15 years 4 months ago
1997
ACM
This paper introduces TimeSlider, a user interface technique that allows the user to specify time points. TimeSlider is a kind of slider whose time scale is nonlinear and which mo...
141
click to vote
SDM
2012
SIAM
13 years 2 months ago
2012
SIAM
Early stress recognition is of great relevance in precision plant protection. Pre-symptomatic water stress detection is of particular interest, ultimately helping to meet the chal...
DAWAK
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we present a fast algorithm to answer rangesum queries in OLAP data cubes. Our algorithm supports constanttime queries while maintaining sub-linear time up...
IJCSA
2007
14 years 11 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...