5356 search results - page 92 / 1072 » Adventures in time and space |
174
click to vote
ATVA
2008
Springer
15 years 8 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...
129
click to vote
UIST
1997
ACM
15 years 10 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...
229
click to vote
SDM
2012
SIAM
13 years 8 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...
162
click to vote
DAWAK
2004
Springer
15 years 10 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...
184
click to vote
IJCSA
2007
15 years 6 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...