Sciweavers

982 search results - page 48 / 197
» Reduction Relations for Agent Models
Sort
View
136
Voted
AIIA
2007
Springer
15 years 5 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
144
Voted
ICDM
2009
IEEE
112views Data Mining» more  ICDM 2009»
15 years 10 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...
VMCAI
2005
Springer
15 years 9 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
JMLR
2010
132views more  JMLR 2010»
14 years 10 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...
135
Voted
AOSE
2000
Springer
15 years 7 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