1650 search results - page 142 / 330 » How to Turn the Page |
186
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
162
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
147
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ambitious driver assistance for complex urban scenarios demands a complete awareness of the situation, including all moving and stationary objects that limit the free spa...
208
click to vote
IMA
2009
Springer
16 years 1 months ago
2009
Springer
Cache timing attacks are a class of side-channel attacks that is applicable against certain software implementations. They have generated significant interest when demonstrated ag...
183
click to vote
WEA
2007
Springer
16 years 17 days ago
2007
Springer
Many speed-up techniques for route planning in static graphs exist, only few of them are proven to work in a dynamic scenario. Most of them use preprocessed information, which has ...