2335 search results - page 172 / 467 » Functional Differentiation of Computer Programs |
109
click to vote
CVPR
2005
IEEE
15 years 7 months ago
2005
IEEE
"In this paper, we present a new variational formulation for geometric active contours that forces the level set function to be close to a signed distance function, and theref...
CAD
1999
Springer
13 years 10 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
GECCO
2010
Springer
14 years 3 months ago
2010
Springer
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
ICIP
2005
IEEE
15 years 12 days ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...