1940 search results - page 308 / 388 » Graph Transformation with Variables |
122
click to vote
ACISP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We explore three applications of geometric sequences in constructing cryptographic Boolean functions. First, we construct 1-resilient functions of n Boolean variables wit...
141
click to vote
IEAAIE
2003
Springer
15 years 10 months ago
2003
Springer
The attribute selection techniques for supervised learning, used in the preprocessing phase to emphasize the most relevant attributes, allow making models of classification simple...
144
click to vote
PODS
2010
ACM
15 years 10 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
120
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
138
click to vote
SIGMETRICS
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we analyze the performance of a TCP-like flow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate;...