8109 search results - page 467 / 1622 » A Model of Component-Based Programming |
312
click to vote
PLPV
2011
ACM
14 years 10 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
222
click to vote
JMLR
2012
13 years 10 months ago
2012
The problem of curve registration appears in many different areas of applications ranging from neuroscience to road traffic modeling. In the present work, we propose a nonparamet...
232
click to vote
JMLR
2012
13 years 10 months ago
2012
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...
247
click to vote
JMLR
2012
13 years 10 months ago
2012
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
258
click to vote
JMLR
2012
13 years 10 months ago
2012
In this paper we propose a new approach for semi-supervised structured output learning. Our approach uses relaxed labeling on unlabeled data to deal with the combinatorial nature ...