3618 search results - page 418 / 724 » Additive functions for number systems in function fields |
163
click to vote
LISP
2002
15 years 6 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
168
click to vote
TELSYS
2002
15 years 6 months ago
2002
Abstract. In this article, the performance and capacity gain achievable with quality of service (QoS) management in packet switched radio networks based on the General Packet Radio...
189
click to vote
TCS
2011
15 years 1 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Bayesian recursive inference of phase in additive Gaussian noise environments is studied. A tractable conjugate system is established using a von Mises distribution. Its shaping p...
201
click to vote
AAAI
2011
14 years 6 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...