Sciweavers

5205 search results - page 698 / 1041
» Tilings and model theory
Sort
View
INFOCOM
2010
IEEE
15 years 4 months ago
Sample Path Bounds for Long Memory FBM Traffic
Fractional Brownian motion (fBm) emerged as a useful model for self-similar and long-range dependent Internet traffic. Asymptotic, respectively, approximate performance measures ar...
Amr Rizk, Markus Fidler
IWRT
2010
161views Communications» more  IWRT 2010»
15 years 4 months ago
RFID-assisted Product Delivery in Sustainable Supply Chains: A Knowledge-based Approach
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
LPAR
2010
Springer
15 years 4 months ago
Interpolating Quantifier-Free Presburger Arithmetic
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
Daniel Kroening, Jérôme Leroux, Phili...
WINE
2010
Springer
124views Economy» more  WINE 2010»
15 years 4 months ago
A Novel Approach to Propagating Distrust
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
Christian Borgs, Jennifer T. Chayes, Adam Tauman K...
ACL
2009
15 years 4 months ago
Transliteration Alignment
This paper studies transliteration alignment, its evaluation metrics and applications. We propose a new evaluation metric, alignment entropy, grounded on the information theory, t...
Vladimir Pervouchine, Haizhou Li, Bo Lin