20126 search results - page 341 / 4026 » Timed Transition Systems |
172
click to vote
CSREAESA
2006
15 years 6 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
148
click to vote
NIPS
2003
15 years 6 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
174
click to vote
TPDS
1998
15 years 4 months ago
1998
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...
136
Voted
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
—We study the design of training-based multiple-input multiple-output systems in two block-wise transmission schemes. The conventional transmission scheme has a fixed amount of ...
107
Voted
SIAMNUM
2010
14 years 11 months ago
2010
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...