Sciweavers

6834 search results - page 198 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
IJCAI
1993
15 years 5 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
CORR
2007
Springer
142views Education» more  CORR 2007»
15 years 4 months ago
Resource and Application Models for Advanced Grid Schedulers
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
Aleksandar Lazarevic, Lionel Sacks
KBS
2006
68views more  KBS 2006»
15 years 3 months ago
Role of acquaintance models in agent's private and semi-private knowledge disclosure
The organizational architecture of the multi-agent systems and the structure of social knowledge that the members of the community administer are critical factors for assuring suc...
Michal Pechoucek, Vladimír Marík, Ja...
NECO
2002
105views more  NECO 2002»
15 years 3 months ago
Multiple Model-Based Reinforcement Learning
We propose a modular reinforcement learning architecture for non-linear, nonstationary control tasks, which we call multiple model-based reinforcement learning (MMRL). The basic i...
Kenji Doya, Kazuyuki Samejima, Ken-ichi Katagiri, ...
SIGSOFT
2010
ACM
15 years 1 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka