8874 search results - page 395 / 1775 » A New Implementation of Automath |
159
click to vote
CD
2004
Springer
16 years 8 days ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
197
Voted
DALT
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
170
Voted
ESORICS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
191
Voted
GD
2004
Springer
16 years 7 days ago
2004
Springer
This paper discusses a new method for visualisation of large and complex networks in three dimensions. In particular, we focus on visualising the core tree structure of the large a...
154
Voted
MDM
2004
Springer
16 years 7 days ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...