3082 search results - page 360 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...
342
click to vote
FUIN
2011
14 years 10 months ago
2011
In this article, a novel concept is introduced by using both unsupervised and supervised learning. For unsupervised learning, the problem of fuzzy clustering in microarray data as ...
195
click to vote
WSC
1997
15 years 7 months ago
1997
This paper gives an overview of business process modeling with SIMPROCESS, its applications, unique features, basic and advanced modeling constructs, and benefits. 1 WHAT IS SIMPR...
170
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we examine the problem of overcomplete representations and provide new insights into the problem of stable recovery of sparse solutions in noisy environments. We es...
193
click to vote
IEEEARES
2006
IEEE
16 years 17 days ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...