3823 search results - page 252 / 765 » Stability of Hybrid Systems |
159
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
185
click to vote
WECWIS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents our hybrid architectural model for Distributed Data Mining (DDM) which is tailored to meet the needs of e-businesses where application service providers sell D...
117
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...
234
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
174
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...