Sciweavers

3729 search results - page 417 / 746
» On Formal Modeling of Agent Computations
Sort
View
201
Voted
ATAL
2010
Springer
15 years 8 months ago
A quantified distributed constraint optimization problem
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...
Toshihiro Matsui, Hiroshi Matsuo, Marius-Calin Sil...
ECAL
2005
Springer
16 years 10 days ago
CoEvolutionary Incremental Modelling of Robotic Cognitive Mechanisms
Abstract. Recently, brain models attempt to support cognitive abilities of artificial organisms. Incremental approaches are often employed to support modelling process. The presen...
Michail Maniadakis, Panos E. Trahanias
AAAI
1996
15 years 8 months ago
Declarative Camera Control for Automatic Cinematography
Animations generated by interactive 3D computer graphics applications are typically portrayed either from a particular character's point of view or from a small set of strate...
David B. Christianson, Sean E. Anderson, Li-wei He...
AAAI
2006
15 years 8 months ago
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
Rama Akkiraju, Biplav Srivastava, Anca-Andreea Iva...
AAAI
1998
15 years 8 months ago
Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem
qYaditionally, constraint satisfaction problems(CSPs) are characterized using a finite set of constraints expressed within a common,shared constraint language. Whenreasoning acros...
Daniel J. Clancy, Benjamin Kuipers