Sciweavers

CORR
2007
Springer
101views Education» more  CORR 2007»
13 years 7 months ago
Curry-style type Isomorphisms and Game Semantics
Joachim De Lataillade
CORR
2007
Springer
74views Education» more  CORR 2007»
13 years 7 months ago
Secure Two-party Protocols for Point Inclusion Problem
It is well known that, in theory, the general secure multiparty computation problem is solvable using circuit evaluation protocols. However, the communication complexity of the re...
Tony Thomas
CORR
2007
Springer
96views Education» more  CORR 2007»
13 years 7 months ago
The Distance Geometry of Music
Erik D. Demaine, Francisco Gomez-Martin, Henk Meij...
CORR
2007
Springer
75views Education» more  CORR 2007»
13 years 7 months ago
On Undetected Error Probability of Binary Matrix Ensembles
Abstract— In this paper, analysis on undetected error probability of ensembles of m × n binary matricies is presented. Two ensembles are considered: One is an ensemble of dense ...
Tadashi Wadayama
CORR
2007
Springer
76views Education» more  CORR 2007»
13 years 7 months ago
Morphing Ensemble Kalman Filters
Jonathan D. Beezley, Jan Mandel
CORR
2007
Springer
121views Education» more  CORR 2007»
13 years 7 months ago
Power-Efficient Direct-Voting Assurance for Data Fusion in Wireless Sensor Networks
—Wireless sensor networks place sensors into an area to collect data and send them back to a base station. Data fusion, in which collected data are fused before they are sent to ...
Hung-Ta Pai, Yunghsiang S. Han
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 7 months ago
Distributed Transmit Diversity in Relay Networks
Abstract— We analyze fading relay networks, where a singleantenna source-destination terminal pair communicates through a set of half-duplex single-antenna relays using a two-hop...
Cemal Akçaba, Patrick Kuppinger, Helmut B&o...
CORR
2007
Springer
83views Education» more  CORR 2007»
13 years 7 months ago
On How Developers Test Open Source Software Systems
Andy Zaidman, Bart Van Rompaey, Serge Demeyer, Ari...
CORR
2007
Springer
67views Education» more  CORR 2007»
13 years 7 months ago
Generalizing Consistency and other Constraint Properties to Quantified Constraints
Lucas Bordeaux, Marco Cadoli, Toni Mancini