1456 search results - page 102 / 292 » An Overview of the SODA System |
FM
1998
Springer
14 years 2 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
AAAI
2010
13 years 11 months ago
2010
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
LREC
2008
13 years 11 months ago
2008
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request in the form of a topic descripti...
CASCON
1997
13 years 11 months ago
1997
The ACORN architecture is a multi-agent based system deployed across networks which provides a means for augmenting community-based systems of communication between people. In the...
AIR
2005
13 years 10 months ago
2005
Abstract. We present an overview of different theories of explanation from the philosophy and cognitive science communities. Based on these theories, as well as models of explanati...