6253 search results - page 890 / 1251 » Use Case Modeling Guidelines |
191
click to vote
AIPS
2009
15 years 7 months ago
2009
We propose an online algorithm for planning under uncertainty in multi-agent settings modeled as DEC-POMDPs. The algorithm helps overcome the high computational complexity of solv...
222
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
205
click to vote
CPM
2009
Springer
15 years 7 months ago
2009
Springer
Factor and suffix oracles have been introduced in [1] in order to provide an economic and efficient solution for storing all the factors and suffixes respectively of a given text. ...
104
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper aims at providing a better insight into the 3D approximations of the wave equation using compact finite-difference timedomain (FDTD) schemes in the context of room aco...