3007 search results - page 450 / 602 » Linear Functional Fixed-points |
138
click to vote
WLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
145
click to vote
FPGA
2004
ACM
15 years 8 months ago
2004
ACM
We present a cryptographic architecture optimization technique called divide-and-concatenate based on two observations: (i) the area of a multiplier and associated data path decre...
114
click to vote
SWAT
2004
Springer
15 years 8 months ago
2004
Springer
For a collection F of d-variate piecewise linear functions of overall combinatorial complexity n, the lower envelope E(F) of F is the pointwise minimum of these functions. The min...
164
click to vote
SI3D
2003
ACM
15 years 8 months ago
2003
ACM
In this paper, we present an automatic, runtime modeler for modeling realistic, animatable human bodies. A user can generate a new model or modify an existing one simply by inputt...
131
click to vote
FSE
1998
Springer
15 years 7 months ago
1998
Springer
ICE is a 64-bit block cipher presented at the Fast Software Encryption Workshop in January 1997. It introduced the concept of a keyed permutation to improve the resistance against ...