2366 search results - page 86 / 474 » Pfaffian Hybrid Systems |
TSMC
2008
15 years 18 days ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
138
Voted
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
15 years 7 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
94
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
A new method, namely the Parallel Two-Level Hybrid (PTH) method, is developed to solve tridiagonal systems on parallel computers. PTH is designed based on Parallel Diagonal Domina...
79
Voted
TWC
2008
15 years 18 days 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...
112
Voted
CAV
2005
Springer
15 years 6 months 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 ...