4959 search results - page 569 / 992 » Imperative Functional Programming |
189
click to vote
CRV
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
181
click to vote
IJCNN
2006
IEEE
16 years 27 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 25 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...
159
click to vote
CSB
2005
IEEE
16 years 14 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 13 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 ...