4690 search results - page 649 / 938 » An operational semantics for Scheme |
178
Voted
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
182
click to vote
ADHOC
2007
15 years 7 months ago
2007
We present a new non-interactive key agreement and progression (NIKAP) scheme for mobile ad hoc networks (MANETs), which does not require an on-line centralized authority, can non...
170
Voted
COR
2010
15 years 7 months ago
2010
In this paper, we consider the recovery of an airline schedule after an unforeseen event called disruption, making the planned schedule infeasible. We present a modeling framework...
175
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This work considers coordination and bargaining between two selfish users over a Gaussian interference channel using game theory. The usual information theoretic approach assumes f...
218
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper provides an explicit expression for the capacity region of the two-user broadcast Z channel and proves that the optimal boundary can be achieved by independent encoding...