Sciweavers

CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 9 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 9 months ago
Watermarking Using Decimal Sequences
: This paper introduces the use of decimal sequences in a code division multiple access (CDMA) based watermarking system to hide information for authentication in black and white i...
Navneet Mandhani, Subhash Kak
CORR
2006
Springer
86views Education» more  CORR 2006»
13 years 9 months ago
Loop Calculus in Statistical Physics and Information Science
Michael Chertkov, Vladimir Y. Chernyak
CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 9 months ago
Monte Carlo Algorithm for Least Dependent Non-Negative Mixture Decomposition
Sergey A. Astakhov, Harald Stögbauer, Alexand...
CORR
2006
Springer
151views Education» more  CORR 2006»
13 years 9 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 9 months ago
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
Jean-Guillaume Dumas, Thierry Gautier, Pascal Gior...
CORR
2006
Springer
70views Education» more  CORR 2006»
13 years 9 months ago
Scalable Algorithms for Aggregating Disparate Forecasts of Probability
- In this paper, computational aspects of the panel aggregation problem are addressed. Motivated primarily by applications of risk assessment, an algorithm is developed for aggrega...
Joel B. Predd, Sanjeev R. Kulkarni, Daniel N. Oshe...
CORR
2006
Springer
80views Education» more  CORR 2006»
13 years 9 months ago
From Dumb Wireless Sensors to Smart Networks using Network Coding
Alexandros G. Dimakis, Dragan Petrovic, Kannan Ram...
CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 9 months ago
Approximate Linear Time ML Decoding on Tail-Biting Trellises in Two Rounds
A linear time approximate maximum likelihood decoding algorithm on tail-biting trellises is presented, that requires exactly two rounds on the trellis. This is an adaptation of an ...
K. Murali Krishnan, Priti Shankar