846 search results - page 151 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
178
click to vote
JAIR
2000
15 years 5 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
177
click to vote
ATAL
2009
Springer
16 years 20 days ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
179
click to vote
ESAS
2004
Springer
15 years 11 months ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
190
click to vote
IWCMC
2009
ACM
15 years 10 months ago
2009
ACM
Autoconfiguration of the radio parameters is a key feature for next generation mobile networks. Especially for LTE the NGMN Forum has brought it up as a major requirement. It is ...
160
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...