1429 search results - page 100 / 286 » An Overview of the Annex System |
116
click to vote
FM
1998
Springer
15 years 5 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...
104
Voted
AAAI
2010
15 years 2 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...
101
Voted
LREC
2008
15 years 2 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...
103
Voted
CASCON
1997
15 years 2 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...
120
Voted
AIR
2005
15 years 22 days 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...