Sciweavers

CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 8 months ago
Automated Termination Proofs for Logic Programs by Term Rewriting
Peter Schneider-Kamp, Jürgen Giesl, Alexander...
CORR
2010
Springer
167views Education» more  CORR 2010»
13 years 8 months ago
Performance Analysis of an Improved Graded Precision Localization Algorithm for Wireless Sensor Networks
In this paper an improved version of the graded precision localization algorithm GRADELOC, called IGRADELOC is proposed. The performance of GRADELOC is dependent on the regions fo...
Sanat Sarangi, Subrat Kar
CORR
2008
Springer
58views Education» more  CORR 2008»
13 years 8 months ago
HyperSmooth : calcul et visualisation de cartes de potentiel interactives
Christine Plumejeaud, Jean-Marc Vincent, Claude Gr...
CORR
2008
Springer
61views Education» more  CORR 2008»
13 years 8 months ago
Rich, Sturmian, and trapezoidal words
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced by the second and third authors together w...
Aldo de Luca, Amy Glen, Luca Q. Zamboni
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 8 months ago
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
Mikolaj Bojanczyk, Luc Segoufin
CORR
2008
Springer
95views Education» more  CORR 2008»
13 years 8 months ago
Simulation of Free Surface Compressible Flows Via a Two Fluid Model
Frédéric Dias, Denys Dutykh, Jean-Mi...
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 8 months ago
A connection between palindromic and factor complexity using return words
In this paper we prove that for any infinite word w whose set of factors is closed under reversal, the following conditions are equivalent: (I) all complete returns to palindromes...
Michelangelo Bucci, Alessandro De Luca, Amy Glen, ...
CORR
2010
Springer
84views Education» more  CORR 2010»
13 years 8 months ago
Left-Inverses of Fractional Laplacian and Sparse Stochastic Processes
The fractional Laplacian (-)/2 commutes with the primary coordination transformations in the Euclidean space Rd: dilation, translation and rotation, and has tight link to splines, ...
Qiyu Sun, Michael Unser
CORR
2008
Springer
74views Education» more  CORR 2008»
13 years 8 months ago
On mobile sets in the binary hypercube
If two distance-3 codes have the same neighborhood, then each of them is called a mobile set. In the (4k + 3)-dimensional binary hypercube, there exists a mobile set of cardinality...
Yuriy Vasil'ev, Sergey V. Avgustinovich, Denis S. ...