Sciweavers

3844 search results - page 282 / 769
» Modular interpreted systems
Sort
View
DEDS
2007
87views more  DEDS 2007»
15 years 4 months ago
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one cen...
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 4 months ago
Strongly Absolute Stability Problem of Descriptor Systems
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...
Chunyu Yang, Qingling Zhang, Linna Zhou
IJACTAICIT
2010
95views more  IJACTAICIT 2010»
15 years 1 months ago
Expert System Design of Two Electrostatic Lenses Column by Mixing Dynamic Programming and AI Techniques
This paper have shown an expert system design by using optimization methods for the Focused ion beam FIB optical system, by mixing the dynamic programming procedure and artificial...
Fadhil A. Ali
NANONET
2009
Springer
233views Chemistry» more  NANONET 2009»
15 years 11 months ago
RF Control of Biological Systems: Applications to Wireless Sensor Networks
We present a vision and preliminary results for a combined RF-Biological Systems where the Electro-Magnetic energy of RF signals is transduced into control-signals for biological s...
Hooman Javaheri, Guevara Noubir, Sanaa Noubir
TLCA
2007
Springer
15 years 10 months ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan