4835 search results - page 397 / 967 » Refactoring Functional Programs |
167
click to vote
PLSA
1994
15 years 11 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
197
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
303
click to vote
Book
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes
Monads,...
160
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...
168
click to vote
FLAIRS
2008
15 years 9 months ago
2008
An important hypothesis of the research reported in this paper is that dynamic space warping (DSW), a dynamic programming (DP) technique (Bellman 1965, Brown 1996), can be effecti...