6045 search results - page 203 / 1209 » Computable Linearizations of Well-partial-orderings |
DCC
1999
IEEE
14 years 17 days ago
1999
IEEE
We design an edge adaptive predictor for lossless image coding. The predictor adaptively weights four directional predictor together with an adaptive linear predictor based on inf...
IPPS
1999
IEEE
14 years 16 days ago
1999
IEEE
In this paper,a we present sample performance figures for a new linear algebra-based compilation framework implemented in a research HPF compiler called PARADIGM. The metrics cons...
AAECC
1998
Springer
13 years 8 months ago
1998
Springer
The set of all linear recurrence relations satisfied by given sequences of finite length is described by the annihilator ideal of the sequences. The MasseyDing algorithm to compu...
ORL
2010
13 years 6 months ago
2010
We compute a complete linear description of the bipartite subgraph polytope, for up to seven nodes, and a conjectured complete description for eight nodes. We then show how these ...
FOCS
2010
IEEE
13 years 6 months ago
2010
IEEE
We show that the minimum possible size of an -net for point objects and line (or rectangle)ranges in the plane is (slightly) bigger than linear in 1/ . This settles a problem rais...