7988 search results - page 1235 / 1598 » A Useful Undecidable Theory |
178
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
194
click to vote
EDBTW
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The rapid increase on the circulation of data over the web has highlighted the need for distributed storage of Internet-accessible information due to the rapid increase o...
211
click to vote
EGPGV
2004
Springer
16 years 7 days ago
2004
Springer
We present a new parallel multiresolution volume rendering algorithm for visualizing large data sets. Using the wavelet transform, the raw data is first converted into a multires...
168
Voted
ESAW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. If we are to enable agents to handle increasingly greater levels of complexity, it is necessary to equip them with mechanisms that support greater degrees of autonomy. Th...
190
click to vote
ESORICS
2004
Springer
16 years 6 days ago
2004
Springer
This paper considers iterated ciphers and their resistance against linear and differential cryptanalysis. In the theory of these attacks one assumes independence of the round keys...