Sciweavers

3328 search results - page 103 / 666
» On Plateaued Functions and Their Constructions
Sort
View
KBS
2006
92views more  KBS 2006»
15 years 6 months ago
Facilitating formal specification acquisition by using recursive functions on context-free languages
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
Haiming Chen, Yunmei Dong
ICML
2007
IEEE
16 years 7 months ago
On learning with dissimilarity functions
We study the problem of learning a classification task in which only a dissimilarity function of the objects is accessible. That is, data are not represented by feature vectors bu...
Liwei Wang, Cheng Yang, Jufu Feng
IEEEIAS
2009
IEEE
16 years 1 months ago
Analysis of One-way Alterable Length Hash Function Based on Cell Neural Network
: In this paper, a hash function construction method based on cell neural network (CNN) with hyper-chaos characteristics is proposed. The chaos sequence is generated by iterating C...
Qun-ting Yang, Tie-gang Gao, Li Fan, Qiao-lun Gu
ERSHOV
2009
Springer
16 years 1 months ago
Standardization and Testing of Mathematical Functions
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
Victor V. Kuliamin
ICFP
1998
ACM
15 years 11 months ago
Functional Differentiation of Computer Programs
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
Jerzy Karczmarczuk