3328 search results - page 211 / 666 » On Plateaued Functions and Their Constructions |
138
click to vote
JSYML
1998
15 years 6 months ago
1998
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard ...
146
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents the binary flattenings of shapes, first as a connected operator suppressing particles or holes, second as an erosion in a particular lattice of shapes. Using t...
179
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Compensation of distributed delays in MIMO, LTI systems is achieved using Artstein's reduction method. In this technical note, we construct a Lyapunov functional for the resul...
150
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
153
Voted
CIE
2005
Springer
16 years 4 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...