31387 search results - page 30 / 6278 » Abstracting abstract machines |
LISP
2007
13 years 9 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
ASM
2005
ASM
14 years 3 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
BSL
2008
13 years 10 months ago
2008
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
PAKDD
2005
ACM
14 years 3 months ago
2005
ACM
Abstract. Hard margin support vector machines (HM-SVMs) have a risk of getting overfitting in the presence of the noise. Soft margin SVMs deal with this
PREMI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Approximation spaces are fundamental for the rough set approach. We discuss their application in machine learning and pattern recognition.