Sciweavers

280 search results - page 15 / 56
» On matrices with the Edmonds-Johnson property
Sort
View
CSR
2009
Springer
14 years 2 months ago
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
We apply the semantic tool of non-deterministic matrices to characterize two important properties of canonical Gentzen-type calculi: invertibility of rules and axiom expansion. We ...
Arnon Avron, Agata Ciabattoni, Anna Zamansky
ISCAS
2005
IEEE
111views Hardware» more  ISCAS 2005»
14 years 1 months ago
Necessary and sufficient conditions for LTI systems to preserve signal richness
There are many ways to define richness of a discrete time signal. In this paper we consider a particular definition and explore the conditions under which a linear time invarian...
Borching Su, P. P. Vaidyanathan
AGI
2008
13 years 9 months ago
Distance-Based Non-Deterministic Semantics
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these ...
Ofer Arieli, Anna Zamansky
DAGSTUHL
2007
13 years 9 months ago
Multidamping simulation framework for link-based ranking
We outline an approach for re-interpreting methods for ranking web pages based on interesting recent work on matrix power series representations for PageRank and its variants, such...
Giorgios Kollias, Efstratios Gallopoulos
ICDM
2007
IEEE
148views Data Mining» more  ICDM 2007»
14 years 1 months ago
Binary Matrix Factorization with Applications
An interesting problem in Nonnegative Matrix Factorization (NMF) is to factorize the matrix X which is of some specific class, for example, binary matrix. In this paper, we exten...
Zhongyuan Zhang, Tao Li, Chris H. Q. Ding, Xiangsu...