1060 search results - page 9 / 212 » Notes on Coding Theory |
ML
2007
ACM
13 years 10 months ago
2007
ACM
Platt’s probabilistic outputs for Support Vector Machines (Platt, 2000) has been popular for applications that require posterior class probabilities. In this note, we propose an ...
LPNMR
2007
Springer
14 years 5 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
DAGSTUHL
2006
14 years 8 days ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
CAGD
2007
13 years 11 months ago
2007
Energies of curves and surfaces together with their discrete variants play a prominent role as fairness functionals in geometric modeling and computer aided geometric design. This ...