940 search results - page 69 / 188 » Local rely-guarantee reasoning |
CACM
2010
13 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
AAAI
2010
13 years 6 months ago
2010
Dimensionality reduction plays an important role in many machine learning and pattern recognition tasks. In this paper, we present a novel dimensionality reduction algorithm calle...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...
ACCV
2010
Springer
13 years 5 months ago
2010
Springer
Multi-view range image integration focuses on producing a single reasonable 3D point cloud from multiple 2.5D range images for the reconstruction of a watertight manifold surface. ...
TIP
2010
13 years 4 months ago
2010
Multiframe super-resolution (SR) reconstruction of small moving objects against a cluttered background is difficult for two reasons: a small object consists completely of "mix...