4693 search results - page 126 / 939 » Verifying Hybrid Systems |
119
click to vote
BMCBI
2007
15 years 23 days ago
2007
Background: Modeling cancer-related regulatory modules from gene expression profiling of cancer tissues is expected to contribute to our understanding of cancer biology as well as...
132
Voted
SMA
2008
ACM
15 years 20 days ago
2008
ACM
This paper presents a computational method for converting a tetrahedral mesh to a prism-tetrahedral hybrid mesh for improved solution accuracy and computational efficiency of fini...
127
Voted
PAMI
2007
15 years 7 days ago
2007
—We present a fully automatic face recognition algorithm and demonstrate its performance on the FRGC v2.0 data. Our algorithm is multimodal (2D and 3D) and performs hybrid (featu...
126
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
74
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...