4757 search results - page 528 / 952 » Monads for Functional Programming |
180
click to vote
IJCNN
2006
IEEE
16 years 25 days ago
2006
IEEE
— Cellular simultaneous recurrent neural network has been suggested to be a function approximator more powerful than the MLP’s, in particular for solving approximate dynamic pr...
165
click to vote
ML
2006
ACM
16 years 23 days ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
158
click to vote
CSB
2005
IEEE
16 years 13 days ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
169
click to vote
SP
2005
IEEE
16 years 12 days ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
157
click to vote
ESOP
2005
Springer
16 years 10 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...