1278 search results - page 169 / 256 » Robust probabilistic projections |
109
click to vote
TYPES
2000
Springer
15 years 4 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
109
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Reliable and generic methods for skew detection are a necessity for any large-scale digitization projects. As one of the first processing steps, skew detection and correction has...
120
Voted
LREC
2010
15 years 2 months ago
2010
With the proliferation of applications sharing information represented in multiple ontologies, the development of automatic methods for robust and accurate ontology matching will ...
127
Voted
ACE
2004
15 years 2 months ago
2004
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...
118
Voted
GRAPHICSINTERFACE
2001
15 years 2 months ago
2001
Digital watermarking embeds a structure called watermark into the target data, such as image and 3D polygonal models. The watermark can be used, for example, to enforce copyright ...