Sciweavers

617 search results - page 8 / 124
» On properties of cell matrices
Sort
View
ALGORITHMICA
2007
114views more  ALGORITHMICA 2007»
13 years 7 months ago
The Consecutive Ones Submatrix Problem for Sparse Matrices
A 0-1 matrix has the Consecutive Ones Property (C1P) if there is a permutation of its columns that leaves the 1’s consecutive in each row. The Consecutive Ones Submatrix (C1S) p...
Jinsong Tan, Louxin Zhang
CSDA
2006
145views more  CSDA 2006»
13 years 7 months ago
An improved method for generalized constrained canonical correlation analysis
An improved method for generalized constrained canonical correlation analysis (GCCANO) is proposed. In the original GCCANO, data matrices were first decomposed into the sum of sev...
Yoshio Takane, Haruo Yanai, Heungsun Hwang
VMCAI
2010
Springer
14 years 4 months ago
Invariant and Type Inference for Matrices
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
14 years 1 months ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky
SIAMMAX
2010
123views more  SIAMMAX 2010»
13 years 2 months ago
Joint Spectral Characteristics of Matrices: A Conic Programming Approach
We propose a new approach to estimate the joint spectral radius and the joint spectral subradius of an arbitrary set of matrices. We first restrict our attention to matrices that ...
Vladimir Protasov, Raphaël M. Jungers, Vincen...