3625 search results - page 341 / 725 » On choosing |
170
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...
192
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
162
click to vote
AUSDM
2007
Springer
16 years 1 months ago
2007
Springer
Automated adversarial detection systems can fail when under attack by adversaries. As part of a resilient data stream mining system to reduce the possibility of such failure, adap...
206
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
In distributed work environments, where users are sharing and searching resources, ensuring an appropriate ranking at remote peers is a key problem. While this issue has been inves...
220
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...