3670 search results - page 211 / 734 » Linear Recursive Functions |
144
click to vote
JFP
2010
15 years 4 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
176
Voted
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...
173
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Compressive sensing (CS) has been proposed for signals with sparsity in a linear transform domain. We explore a signal dependent unknown linear transform, namely the impulse respo...
154
click to vote
ICANNGA
2007
Springer
16 years 15 days ago
2007
Springer
A new method of genetic evolution of linear and nonlinear evaluation functions in the game of checkers is presented. Several practical issues concerning application of genetic algo...
162
click to vote
VMCAI
2007
Springer
16 years 14 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...