Sciweavers

982 search results - page 48 / 197
» Reduction Relations for Agent Models
Sort
View
108
Voted
AIIA
2007
Springer
15 years 2 months ago
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
Roberto Micalizio, Pietro Torasso
114
Voted
ICDM
2009
IEEE
112views Data Mining» more  ICDM 2009»
15 years 7 months ago
Spatio-temporal Multi-dimensional Relational Framework Trees
—The real world is composed of sets of objects that move and morph in both space and time. Useful concepts can be defined in terms of the complex interactions between the multi-...
Matthew Bodenhamer, Samuel Bleckley, Daniel Fennel...
97
Voted
VMCAI
2005
Springer
15 years 6 months ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
115
Voted
JMLR
2010
132views more  JMLR 2010»
14 years 7 months ago
Learning Gradients: Predictive Models that Infer Geometry and Statistical Dependence
The problems of dimension reduction and inference of statistical dependence are addressed by the modeling framework of learning gradients. The models we propose hold for Euclidean...
Qiang Wu, Justin Guinney, Mauro Maggioni, Sayan Mu...
106
Voted
AOSE
2000
Springer
15 years 5 months ago
Representing Agent Interaction Protocols in UML
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...
James Odell, H. Van Dyke Parunak, Bernhard Bauer