3328 search results - page 28 / 666 » On Plateaued Functions and Their Constructions |
TCAD
1998
13 years 8 months ago
1998
— Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalizat...
ENTCS
2008
13 years 8 months ago
2008
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
AUTOMATICA
2006
13 years 8 months ago
2006
We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentim...
APPROX
2006
Springer
14 years 16 days ago
2006
Springer
We present a simple randomized construction of size O