4693 search results - page 420 / 939 » Verifying Hybrid Systems |
172
click to vote
IAAI
2003
15 years 8 months ago
2003
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
155
click to vote
JPDC
2006
15 years 6 months ago
2006
The vulnerability of computer nodes due to component failures is a critical issue for cluster-based file systems. This paper studies the development and deployment of mirroring in...
206
click to vote
ICB
2009
Springer
15 years 4 months ago
2009
Springer
Many large-scale biometric systems operate in the identification mode and include multimodal information. While biometric fusion is a well-studied problem, most of the fusion schem...
223
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
218
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The semantic Web and Web service technologies have provided both new possibilities and challenges to automatic information processing. There are a lot of researches on applying th...