961 search results - page 157 / 193 » Automatic design synthesis with artificial intelligence tech... |
127
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we present the internal architecture and bidding mechanisms designed for Mertacor, a successful trading agent, which ended up first in the Classic Trading Agent Comp...
109
click to vote
AAAI
2004
15 years 2 months ago
2004
We study the recognized open problem of designing revenuemaximizing combinatorial auctions. It is unsolved even for two bidders and two items for sale. Rather than pursuing the pu...
ICCBR
2009
Springer
15 years 8 months ago
2009
Springer
Maritime assets such as merchant and navy ships, ports, and harbors, are targets of terrorist attacks as evidenced by the USS Cole bombing. Conventional methods of securing maritim...
115
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
140
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...