Sciweavers

5863 search results - page 1004 / 1173
» Calculating Functional Programs
Sort
View
PDCAT
2009
Springer
15 years 8 months ago
A Speculative Technique for Auto-Memoization Processor with Multithreading
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...
Yushi Kamiya, Tomoaki Tsumura, Hiroshi Matsuo, Yas...
SCIA
2009
Springer
183views Image Analysis» more  SCIA 2009»
15 years 8 months ago
Globally Optimal Least Squares Solutions for Quasiconvex 1D Vision Problems
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...
Carl Olsson, Martin Byröd, Fredrik Kahl
ACMSE
2009
ACM
15 years 8 months ago
Ginger: implementing a new Lisp family syntax
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
James Dean Palmer
130
Voted
ASPDAC
2009
ACM
110views Hardware» more  ASPDAC 2009»
15 years 8 months ago
A software solution for dynamic stack management on scratch pad memory
Abstract— In an effort to make processors more power efficient scratch pad memory (SPM) have been proposed instead of caches, which can consume majority of processor power. Howe...
Arun Kannan, Aviral Shrivastava, Amit Pabalkar, Jo...
KCAP
2009
ACM
15 years 8 months ago
Interactively shaping agents via human reinforcement: the TAMER framework
As computational learning agents move into domains that incur real costs (e.g., autonomous driving or financial investment), it will be necessary to learn good policies without n...
W. Bradley Knox, Peter Stone
« Prev « First page 1004 / 1173 Last » Next »