8016 search results - page 1345 / 1604 » On the practical genetic algorithms |
156
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods. In particular, MMUCAs offer a high ...
147
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
168
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
172
click to vote
BIOWIRE
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we explore some of the connections between cooperative game theory and the utility maximization framework for routing and flow control in networks. Central to both a...
172
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...