CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We study the calibration problem in circular ultrasound tomography devices for breast imaging, where the sensor positions deviate from the circumference of a perfect circle. We in...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This article discusses in detail the rating system that won the kaggle competition "Chess Ratings: Elo vs the rest of the world". The competition provided a historical d...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We address the non-redundant random generation of k words of length n from a context-free language. Additionally, we want to avoid a predefined set of words. We study the limits of...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
: For industrial product design, it is very important to take into account assembly/disassembly and maintenance operations during the conceptual and prototype design stage. For the...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva...
CORR
2010
Springer
13 years 9 months ago
2010
Springer