668 search results - page 12 / 134 » Hyperrelations in version space |
LICS
1999
IEEE
13 years 11 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...
SIAMMA
2010
13 years 2 months ago
2010
In this paper, we analyse the asymptotic behavior of solutions of the continuous kinetic version of flocking by Cucker and Smale [16], which describes the collective behavior of an...
ICDM
2003
IEEE
14 years 23 days ago
2003
IEEE
The Support Vector Machine (SVM) solution corresponds to the centre of the largest sphere inscribed in version space. Alternative approaches like Bayesian Point Machines (BPM) and...
IJCAI
2007
13 years 9 months ago
2007
Occam’s razor is the principle that, given two hypotheses consistent with the observed data, the simpler one should be preferred. Many machine learning algorithms follow this pr...
ICTAI
2002
IEEE
14 years 12 days ago
2002
IEEE
In this paper, we study shelf space allocation optimization which is important to retail operations management. Our approach is to formulate a model that is applicable to operatio...