1895 search results - page 168 / 379 » Modular Functional Descriptions |
ENGL
2007
15 years 2 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
128
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
We present a generalization of conventional artificial neural networks that allows for a functional equivalence to multi-expert systems. The new model provides an architectural fr...
124
click to vote
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
179
Voted
FMSP
2000
ACM
15 years 6 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
132
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...