Sciweavers

4983 search results - page 91 / 997
» order 2008
Sort
View
JSYML
2008
86views more  JSYML 2008»
13 years 10 months ago
On Skolemization in constructive theories
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
Matthias Baaz, Rosalie Iemhoff
DM
2007
92views more  DM 2007»
13 years 10 months ago
Strongly simplicial vertices of powers of trees
For a tree T and an integer k ≥ 1, it is well known that the k-th power T k of T is strongly chordal and hence has a strong elimination ordering of its vertices. In this note we...
Geir Agnarsson, Magnús M. Halldórsso...
ORDER
2008
61views more  ORDER 2008»
13 years 10 months ago
Partitioning Posets
Given a poset P = (X, ), a partition X1, . . . , Xk of X is called an ordered partition of P if, whenever x Xi and y Xj with x y, then i j. In this paper, we show that for ever...
Viresh Patel
ICDM
2008
IEEE
175views Data Mining» more  ICDM 2008»
14 years 4 months ago
Overlapping Matrix Pattern Visualization: A Hypergraph Approach
In this work, we study a visual data mining problem: Given a set of discovered overlapping submatrices of interest, how can we order the rows and columns of the data matrix to bes...
Ruoming Jin, Yang Xiang, David Fuhry, Feodor F. Dr...
CORR
2008
Springer
69views Education» more  CORR 2008»
13 years 10 months ago
Two Models for Noisy Feedback in MIMO Channels
Two distinct models of feedback, suited for FDD (Frequency Division Duplex) and TDD (Frequency Division Duplex) systems respectively, have been widely studied in the literature. In...
Vaneet Aggarwal, Gajanana Krishna, Srikrishna Bhas...