CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
If a smooth, closed, and embedded curve is deformed along its normal vector field at a rate proportional to its curvature, it shrinks to a circular point. This curve evolution is ...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
A sequential updating scheme (SUS) for belief propagation (BP) decoding of LDPC codes over Galois fields, GF
CORR
2006
Springer
13 years 5 months ago
2006
Springer
We consider two kinds of problems: the computation of polynomial and rational solutions of linear recurrences with coefficients that are polynomials with integer coefficients; ind...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Abstract--In wireless networks, important network functionalities such as power control, rate allocation, routing, and congestion control must be optimized in a coherent and integr...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer