Sciweavers

642 search results - page 61 / 129
» corr 2006
Sort
View
107
Voted
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 17 days 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
95
Voted
CORR
2006
Springer
91views Education» more  CORR 2006»
15 years 17 days 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
115
Voted
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 17 days 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 17 days 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 17 days 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