3719 search results - page 118 / 744 » order 2010 |
JCT
2010
14 years 11 months ago
2010
A lattice path matroid is a transversal matroid for which some antichain of intervals in some linear order on the ground set is a presentation. We characterize the minor-closed cla...
94
Voted
MA
2010
Springer
14 years 11 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...
107
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--We study replication mechanisms that include ReedSolomon type codes as well as network coding in order to improve the probability of successful delivery within a given ti...
112
click to vote
ITP
2010
14 years 10 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
PROPOR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this work, we apply and evaluate a machine-learningbased system to Portuguese clause identification. To the best of our knowledge, this is the first machine-learning-b...