642 search results - page 46 / 129 » corr 2006 |
CORR
2006
Springer
15 years 15 days ago
2006
Springer
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
114
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
92
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
We consider semi-supervised classification when part of the available data is unlabeled. These unlabeled data can be useful for the classification problem when we make an assumpti...
101
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....
100
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...