464 search results - page 4 / 93 » Enjoy the Paper: Lexicology |
ENTCS
2002
14 years 9 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
MA
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we consider several multivariate extensions of comonotonicity. We show that naive extensions do not enjoy some of the main properties of the univariate concept. In o...
KDD
2009
ACM
15 years 4 months ago
2009
ACM
Max-margin Markov networks (M3 N) have shown great promise in structured prediction and relational learning. Due to the KKT conditions, the M3 N enjoys dual sparsity. However, the...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
Regularization techniques have been in use in signal recovery for over four decades. In this paper, we propose a new, synthetic approach to the study of regularization methods in ...
77
Voted
PODS
2007
ACM
15 years 9 months ago
2007
ACM
Variables are the distinguishing new feature of XPath 2.0 which permits to select n-tuples of nodes in trees. It is known that the Core of XPath 2.0 captures n-ary first-order (FO...