10622 search results - page 1789 / 2125 » Python Programming Language |
145
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs signiļ¬cantly the state-of-the-art algorithm for this task [20]. Speciļ¬...
143
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and veriļ¬cation, optim...
175
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
d Abstract) Marcin JurdziĀ“nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
151
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
216
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...