1259 search results - page 9 / 252 » In search of the memoryless property |
ISAAC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this paper we present an implicit dictionary with the working set property i.e. a dictionary supporting insert(e), delete(x) and predecessor(x) in O(log n) time and se...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
VR
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper, we describe a new optical tracker algorithm for the tracking of interaction devices in virtual and augmented reality. The tracker uses invariant properties of marke...
COMAD
2008
13 years 9 months ago
2008
This paper illustrates a strange property that was encountered when analysing keyword query data. The objective of this work was to observe the temporal properties of keyword quer...