Sciweavers

642 search results - page 61 / 129
» corr 2006
Sort
View
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 6 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
91views Education» more  CORR 2006»
15 years 6 months ago
Universal Codes as a Basis for Time Series Testing
We suggest a new approach to hypothesis testing for ergodic and stationary processes. In contrast to standard methods, the suggested approach gives a possibility to make tests, ba...
Boris Ryabko, Jaakko Astola
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 6 months ago
The Gaussian Multiple Access Wire-Tap Channel with Collective Secrecy Constraints
We consider the Gaussian Multiple Access Wire-Tap Channel (GMAC-WT). In this scenario, multiple users communicate with an intended receiver in the presence of an intelligent and in...
Ender Tekin, Aylin Yener
CORR
2006
Springer
158views Education» more  CORR 2006»
15 years 6 months ago
Building a resource for studying translation shifts
This paper describes an interdisciplinary approach which brings together the fields of corpus linguistics and translation studies. It presents ongoing work on the creation of a co...
Lea Cyrus
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 6 months ago
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledg...
Yi Deng, Dongdai Lin