749 search results - page 71 / 150 » Scenario based Analysis of Linear Computations |
195
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
143
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Subspace learning based face recognition methods have attracted considerable interests in recent years, including Principal Component Analysis (PCA), Linear Discriminant Analysis ...
144
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
141
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Robustly tracking moving objects in video sequences is one of the key problems in computer vision. In this paper we introduce a computationally efficient nonlinear kernel learning...
144
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of a metabolic network at steady-state. FCA classifies reactions into subsets (...