1153 search results - page 164 / 231 » The Complexity of Revision, Revised |
158
click to vote
ACISP
2004
Springer
15 years 11 months ago
2004
Springer
In PODC 2003, Micali presented a fair electronic exchange protocol for contract signing with an invisible trusted party [17]. The protocol was filed as a US patent No 5666420 in 1...
192
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
142
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
123
click to vote
ECOOPW
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports on the results of the Fifth International Workshop on Object-Oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies t...
115
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...