10666 search results - page 1780 / 2134 » Quantum programming languages |
140
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
136
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We consider the following problem: given an unsorted array of n elements, and a sequence of intervals in the array, compute the median in each of the subarrays defined by the inter...
153
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
A stochastic game is a two-player game played on a graph, where in each state the successor is chosen either by one of the players, or according to a probability distribution. We s...
127
Voted
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
149
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...