940 search results - page 69 / 188 » Local rely-guarantee reasoning |
125
click to vote
CACM
2010
15 years 12 days 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...
143
click to vote
AAAI
2010
14 years 11 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...
161
click to vote
CVPR
2011
IEEE
14 years 10 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...
119
click to vote
ACCV
2010
Springer
14 years 10 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. ...
144
click to vote
TIP
2010
14 years 9 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...