231 search results - page 37 / 47 » Path disruption games |
112
click to vote
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Network-level redundancy elimination (RE) algorithms reduce traffic volume on bandwidth-constrained network paths by avoiding the transmission of repeated byte sequences. Previous...
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
75
Voted
NIPS
2003
14 years 11 months ago
2003
The design of cooperative multi-robot systems is a highly active research area in robotics. Two lines of research in particular have generated interest: the solution of large, wea...
JIPS
2006
14 years 9 months ago
2006
: This paper proposes the framework of the scenario-based 3D image synthesizing system that allows common users who envision a scenario in their mind to realize it into the segment...