210 search results - page 11 / 42 » A Unified Theory of Irony and Its Computational Formalizatio... |
BIRTHDAY
2004
Springer
14 years 24 days ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
EBERNBURG
1990
13 years 11 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
ROBOCUP
2004
Springer
14 years 22 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
COLING
2002
13 years 7 months ago
2002
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...
CCS
2005
ACM
14 years 28 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...