1187 search results - page 133 / 238 » The Generalized Dimensionality Reduction Problem |
ICIAR
2005
Springer
15 years 3 months ago
2005
Springer
The work investigates the use of multi dimensional histograms for segmentation of images of chronic wounds. We employ a Support Vector Machine (SVM) classifier for automatic extrac...
CP
2000
Springer
15 years 2 months ago
2000
Springer
We perform a comprehensive theoretical and empirical study of the benefits of singleton consistencies. Our theoretical results help place singleton consistencies within the hierar...
COMPGEOM
2006
ACM
15 years 3 months ago
2006
ACM
A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum weight triangulation (MWT) problem, we are looking for a triangula...
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...