Sciweavers

2522 search results - page 139 / 505
» From Self-Organized Systems to Collective Problem Solving
Sort
View
JALC
2006
95views more  JALC 2006»
13 years 9 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
HYBRID
2004
Springer
14 years 2 months ago
Constructing Invariants for Hybrid Systems
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
RTCSA
2006
IEEE
14 years 3 months ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...
ICNSC
2008
IEEE
14 years 3 months ago
Robust Variance Constrained Filter Design for Systems with Non-Gaussian Noises
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
Fuwen Yang, Yongmin Li, Xiaohui Liu
AIM
2006
13 years 9 months ago
Companion Cognitive Systems: A Step towards Human-Level AI
We are developing Companion Cognitive Systems, a new kind of software that can be effectively treated as a collaborator. Aside from their potential utility, we believe this effort...
Kenneth D. Forbus, Thomas R. Hinrichs