1021 search results - page 163 / 205 » Concepts in Proof Planning |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
ACMICEC
2004
ACM
14 years 3 months ago
2004
ACM
Due to the rapid advancement of electronic commerce and web technologies in recent years, the concepts and applications of decision support systems have been significantly extende...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
SSDBM
2003
IEEE
14 years 3 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...