Sciweavers

1628 search results - page 164 / 326
» Compiler Construction Using Scheme
Sort
View
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 5 months ago
Differential Transmit Diversity Based on Quasi-Orthogonal Space-Time Block Code
By using joint modulation and customized constellation set, we show that Quasi-Orthogonal Space-Time Block Code (QO-STBC) can be used to form a new differential space-time modulati...
Chau Yuen, Yong Liang Guan, Tjeng Thiang Tjhung
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
15 years 10 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
15 years 2 days ago
Distributed iterative regularization algorithms for monotone Nash games
In this paper, we consider the development of single-timescale schemes for the distributed computation of Nash equilibria. In general, equilibria associated with convex Nash games ...
Aswin Kannan, Uday V. Shanbhag
EUROCRYPT
2007
Springer
15 years 11 months ago
Simulatable Adaptive Oblivious Transfer
We study an adaptive variant of oblivious transfer in which a sender has N messages, of which a receiver can adaptively choose to receive k one-after-the-other, in such a way that ...
Jan Camenisch, Gregory Neven, Abhi Shelat
142
Voted
ICICS
2005
Springer
15 years 10 months ago
Asymmetric Concurrent Signatures
The concept of concurrent signatures allows two entities to produce two signatures in such a way that, the signer of each signature is ambiguous from a third party’s point of vie...
Khanh Nguyen