419 search results - page 49 / 84 » Using Matrix Decompositions in Formal Concept Analysis |
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a promising analysis on using the pattern of symmetry in the face to increase the accuracy of three-dimensional face recognition. We introduce the concept of the ‘ave...
IJCAI
2003
13 years 10 months ago
2003
With the growing use of distributed information networks, there is an increasing need for algorithmic and system solutions for data-driven knowledge acquisition using distributed,...
SAFECOMP
1998
Springer
14 years 16 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
WINE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...