8766 search results - page 1229 / 1754 » Functional logic programming |
163
click to vote
ESOP
2007
Springer
16 years 13 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
141
click to vote
IDA
2007
Springer
16 years 12 days ago
2007
Springer
We present a new machine learning approach to the inverse parametric sequence alignment problem: given as training examples a set of correct pairwise global alignments, find the p...
180
click to vote
CRV
2006
IEEE
16 years 10 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...
162
click to vote
IJCNN
2006
IEEE
16 years 9 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...
146
click to vote
ML
2006
ACM
16 years 6 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...