1914 search results - page 37 / 383 » Abstract lambda-Calculus Machines |
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 7 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
PAKDD
2005
ACM
14 years 1 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 1 months ago
2005
Springer
Abstract. Approximation spaces are fundamental for the rough set approach. We discuss their application in machine learning and pattern recognition.
TNN
2008
13 years 7 months ago
2008
Abstract--In this paper, we propose a novel large margin classifier, called the maxi