Sciweavers

1222 search results - page 136 / 245
» corr 2008
Sort
View
CORR
2008
Springer
115views Education» more  CORR 2008»
15 years 7 months ago
Discrete schemes for Gaussian curvature and their convergence
In this paper, several discrete schemes for Gaussian curvature are surveyed. The convergence property of a modified discrete scheme for the Gaussian curvature is proved. Furthermo...
Zhiqiang Xu, Guoliang Xu
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 7 months ago
Green Codes: Energy-Efficient Short-Range Communication
Abstract-- A green code attempts to minimize the total energy per-bit required to communicate across a noisy channel. The classical information-theoretic approach neglects the ener...
Pulkit Grover, Anant Sahai
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 7 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
CORR
2008
Springer
81views Education» more  CORR 2008»
15 years 7 months ago
High-dimensional subset recovery in noise: Sparsified measurements without loss of statistical efficiency
We consider the problem of estimating the support of a vector Rp based on observations contaminated by noise. A significant body of work has studied behavior of 1-relaxations when...
Dapo Omidiran, Martin J. Wainwright
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 7 months ago
Steganographic Routing in Multi Agent System Environment
: In this paper we present an idea of trusted communication platform for Multi-Agent Systems (MAS) called TrustMAS. Based on analysis of routing protocols suitable for MAS we have ...
Krzysztof Szczypiorski, Igor Margasinski, Wojciech...