3637 search results - page 409 / 728 » On Dynamic Bit-Probe Complexity |
163
click to vote
WCE
2007
15 years 7 months ago
2007
— Renewed interest in reducing interior noise in transportation vehicles has motivated research in low frequency, structural-acoustic analysis. The internal sound field in the en...
193
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Decentralized reinforcement learning (DRL) has been applied to a number of distributed applications. However, one of the main challenges faced by DRL is its convergence. Previous ...
203
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
188
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
155
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...