Sciweavers

1554 search results - page 150 / 311
» An Overview of the Spring System
Sort
View
86
Voted
AAMAS
2008
Springer
14 years 10 months ago
Industrial deployment of multi-agent technologies: review and selected case studies
This paper reports on industrial deployment of multi-agent systems and agent technology. It provides an overview of several application domains and an in-depth presentation of four...
Michal Pechoucek, Vladimír Marík
80
Voted
AAMAS
2006
Springer
14 years 10 months ago
Verifying Multi-agent Programs by Model Checking
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
ENTCS
2008
88views more  ENTCS 2008»
14 years 10 months ago
Specification of Conditions for Error Diagnostics
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
Christof Efkemann, Tobias Hartmann
90
Voted
ISI
2006
Springer
14 years 10 months ago
The Hats Simulator and Colab: An Integrated Information Fusion Challenge Problem and Collaborative Analysis Environment
We present an overview of our work in information fusion for intelligence analysis. This work includes the Hats Simulator and the COLAB system. The Hats Simulator is a parameterize...
Clayton T. Morrison, Paul R. Cohen
90
Voted
DKE
2007
115views more  DKE 2007»
14 years 10 months ago
An improved methodology on information distillation by mining program source code
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
Yiannis Kanellopoulos, Christos Makris, Christos T...