53302 search results - page 10614 / 10661 » On the design of a |
129
click to vote
ATAL
2011
Springer
14 years 16 days 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...
206
click to vote
CADE
2011
Springer
14 years 15 days 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...
108
Voted
CBSE
2011
Springer
14 years 15 days ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
109
Voted
CCS
2011
ACM
14 years 15 days ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...
131
click to vote
CCS
2011
ACM
14 years 15 days ago
2011
ACM
Cloud Computing is an emerging technology promising new business opportunities and easy deployment of web services. Much has been written about the risks and benefits of cloud co...