14190 search results - page 158 / 2838 » Abstractions for hybrid systems |
151
click to vote
TWC
2008
15 years 6 months ago
2008
This letter proposes a hybrid decision-feedback equalizer (HDFE) for DS-CDMA systems. The proposed HDFE is carried out in two stages to improve the accuracy of the feedback signals...
176
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
171
click to vote
COR
2006
15 years 6 months ago
2006
In this paper we tackle the task assignment problem (TSAP) in heterogeneous computer systems. The TSAP consists of assigning a given distributed computer program formed by a numbe...
166
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
178
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The importance of dialog management systems has increased in recent years. Dialog systems are created for domain specific applications, so that a high demand for a flexible dialog...