6045 search results - page 79 / 1209 » Computable Linearizations of Well-partial-orderings |
DCC
2007
IEEE
14 years 7 months ago
2007
IEEE
We consider grammar based text compression with longest first substitution, where non-overlapping occurrences of a longest repeating substring of the input text are replaced by a ...
ICS
2010
Tsinghua U.
14 years 5 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
PVM
2007
Springer
14 years 2 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper proposes a method to integrate multiple linearpushbroom panoramic images. The integration can be performed in real time. The technique is feasible on planar sc...