3328 search results - page 28 / 666 » On Plateaued Functions and Their Constructions |
148
click to vote
TCAD
1998
15 years 5 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...
138
click to vote
ENTCS
2008
15 years 6 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...
167
click to vote
TPHOL
2007
IEEE
16 years 9 days 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...
138
click to vote
AUTOMATICA
2006
15 years 6 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...
155
click to vote
APPROX
2006
Springer
15 years 9 months ago
2006
Springer
We present a simple randomized construction of size O