1688 search results - page 164 / 338 » The Complexity of Rationalizing Matchings |
132
click to vote
TWC
2008
15 years 5 months ago
2008
Practical cooperative diversity protocols often rely on low-cost radios that treat multiple in-band signals as noise and thus require strictly orthogonal transmissions. We analyze ...
133
click to vote
AROBOTS
2004
15 years 5 months ago
2004
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...
171
click to vote
BC
2004
15 years 5 months ago
2004
A computational model is presented for the detection of coherent motion based on template matching and hidden Markov models. The premise of this approach is that the growth in dete...
181
click to vote
ITA
2002
15 years 5 months ago
2002
It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the be...
157
click to vote
LOGCOM
2002
15 years 5 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...