Sciweavers

3328 search results - page 103 / 666
» On Plateaued Functions and Their Constructions
Sort
View
KBS
2006
92views more  KBS 2006»
13 years 10 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
14 years 11 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
14 years 4 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
14 years 4 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
14 years 2 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