751 search results - page 67 / 151 » The Distinguishing Chromatic Number |
114
click to vote
LPNMR
2005
Springer
15 years 4 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
AES
2004
Springer
15 years 4 months ago
2004
Springer
Rijndael is the new Advanced Encryption Standard designed by V. Rijmen and J. Daemen and chosen as AES by the NIST in October 2000. Surprisingly, the number of cryptanalyses agains...
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both furthe...
74
Voted
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
We consider the problem of finding a commonly agreed upon diagnosis for errors observed in a system monitored by a number of different expert agents. Each agent is assumed to hav...
INTELLCOMM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...