11739 search results - page 100 / 2348 » Slideshow: functional presentations |
123
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
109
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract--A class of distortions termed functional Bregman divergences is defined, which includes squared error and relative entropy. A functional Bregman divergence acts on functi...
110
click to vote
INFSOF
1998
15 years 2 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
138
click to vote
RAS
2002
15 years 2 months ago
2002
We have to prepare the evaluation (fitness) function to evaluate the performance of the robot when we apply the machine learning techniques to the robot application. In many cases,...
139
click to vote
ISMVL
2008
IEEE
15 years 9 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...