3670 search results - page 94 / 734 » Linear Recursive Functions |
125
click to vote
ACMICEC
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents new clearing algorithms for multi-unit single-item and multi-unit combinatorial auctions with piecewise linear demand/supply functions. We analyse the complexi...
113
Voted
INDOCRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Most last-round attacks on iterated block ciphers provide some design criteria for the round function. Here, we focus on the links between the underlying properties. Most notably, ...
100
Voted
ICISC
2007
15 years 4 months ago
2007
A simple method for constructing collisions for Shpilrain’s polynomial-based hash function from ICISC 2006 is presented. The attack relies on elementary linear algebra and can be...
134
click to vote
IANDC
2007
15 years 2 months ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
CIE
2008
Springer
15 years 4 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G