page 59773 / 60054 » publications |
173
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Computational models of motivation are tools that artificial agents can use to autonomously identify, prioritize, and select the goals they will pursue. Previous research has focu...
222
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
The field of multiagent decision making is extending its tools from classical game theory by embracing reinforcement learning, statistical analysis, and opponent modeling. For ex...
302
click to vote
BIRTHDAY
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
277
click to vote
BSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Wireless neural recording systems are subject to stringent power consumption constraints to support long-term recordings and to allow for implantation inside the brain. In this ...
334
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...