Sciweavers

1874 search results - page 32 / 375
» Abstract Machine for LDL
Sort
View
JLP
2007
89views more  JLP 2007»
13 years 7 months ago
Universality and semicomputability for nondeterministic programming languages over abstract algebras
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...
Wei Jiang, Yuan Wang, Jeffery I. Zucker
PAKDD
2005
ACM
111views Data Mining» more  PAKDD 2005»
14 years 1 months ago
Training Support Vector Machines Using Greedy Stagewise Algorithm
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
Liefeng Bo, Ling Wang, Licheng Jiao
PREMI
2005
Springer
14 years 1 months ago
Approximation Spaces in Machine Learning and Pattern Recognition
Abstract. Approximation spaces are fundamental for the rough set approach. We discuss their application in machine learning and pattern recognition.
Andrzej Skowron, Jaroslaw Stepaniuk, Roman W. Swin...
TNN
2008
76views more  TNN 2008»
13 years 7 months ago
Maxi-Min Margin Machine: Learning Large Margin Classifiers Locally and Globally
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
Kaizhu Huang, Haiqin Yang, Irwin King, Michael R. ...
CORR
2007
Springer
99views Education» more  CORR 2007»
13 years 7 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg