Sciweavers

3765 search results - page 307 / 753
» Qualitative Action Systems
Sort
View
CMG
2001
15 years 8 months ago
Software That Can Think and Do
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
Bernard Domanski
TIM
2010
168views Education» more  TIM 2010»
15 years 2 months ago
Thermal Event Recognition Applied to Protection of Tokamak Plasma-Facing Components
Magnetic confinement fusion tokamaks are complex devices where a large amount of power is required to make the fusion reactions happen. In such experimental conditions, Plasma Faci...
Vincent Martin, Jean-Marcel Travere, Franço...
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
16 years 1 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
ATAL
2005
Springer
16 years 29 days ago
Global convergence of local agent behaviors
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
H. Van Dyke Parunak, Sven Brueckner, John A. Saute...
JIT
2005
Springer
130views Database» more  JIT 2005»
16 years 28 days ago
Policies for an AOP Based Auto-Adaptive Framework
Dynamic AOP has been identified as a useful technique to implement an auto-adaptive framework. To supplement this policies based upon EventCondition-Action rules are used to specif...
Phil Greenwood, Lynne Blair