1172 search results - page 144 / 235 » Constructions of generalized Sidon sets |
276
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
300
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
148
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
A recent theoretical investigation of modular representations shows that certain modularizations can introduce a distance bias into a landscape. This was a static analysis, and em...
153
click to vote
COCO
2007
Springer
16 years 19 days ago
2007
Springer
Interactive hashing, introduced by Naor, Ostrovsky, Venkatesan and Yung (CRYPTO ’92), plays an important role in many cryptographic protocols. In particular, it is a major compo...
147
click to vote
SMA
2005
ACM
16 years 19 hour ago
2005
ACM
Constructing splines whose parametric domain is an arbitrary manifold and effectively computing such splines in realworld applications are of fundamental importance in solid and ...