4835 search results - page 539 / 967 » Refactoring Functional Programs |
174
click to vote
ESOP
2007
Springer
16 years 1 months 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...
160
click to vote
IDA
2007
Springer
16 years 1 months 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...
211
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
189
click to vote
CRV
2006
IEEE
16 years 27 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...
180
click to vote
IJCNN
2006
IEEE
16 years 26 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...