Sciweavers

12115 search results - page 296 / 2423
» Bisimulation of Dynamical Systems
Sort
View
SAC
2009
ACM
16 years 1 months ago
Keeping diversity when exploring dynamic environments
This paper presents a new exploration mechanism based on a heterogeneous multi-agent system that combines attractive and repulsive agents. We provide experimental results about th...
Jose Luis Fernandez-Marquez, Josep Lluís Ar...
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
16 years 1 months ago
Generalized linear dynamic factor models - a structure theory
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
Brian D. O. Anderson, Manfred Deistler
IJIS
2002
79views more  IJIS 2002»
15 years 6 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur
JELIA
2010
Springer
15 years 5 months ago
A Dynamic-Programming Based ASP-Solver
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...
Michael Morak, Reinhard Pichler, Stefan Rümme...
159
Voted
DATE
2006
IEEE
76views Hardware» more  DATE 2006»
16 years 22 days ago
Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
Zhongwen Li, Hong Chen, Shui Yu