889 search results - page 53 / 178 » General Conclusions |
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we present a methodology for deciding the bidding strategy of agents participating in a significant number of simultaneous auctions, when finding an analytical sol...
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
DRM
2003
Springer
15 years 5 months ago
2003
Springer
We set out to examine whether current, DRM-based online offerings of music and movies accord with consumers’ current expectations regarding the personal use of copyrighted works...
IEAAIE
2003
Springer
15 years 5 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...
105
click to vote
DSRT
1999
IEEE
15 years 4 months ago
1999
IEEE
: This paper addresses the need for reliable multicast (RM) network support for the class of distributed virtual simulations (DVS) that operate with human participants who experien...