6431 search results - page 88 / 1287 » Model Building by Resolution |
150
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Conventional photometric stereo has a fundamental limitation that the scale of recovered geometry is limited to the resolution of the input images. However, surfaces that...
132
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
Until now, all super-resolution algorithms have presumed that the images were taken under the same illumination conditions. This paper introduces a new approach to super-resolutio...
178
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
145
click to vote
FMCAD
2007
Springer
16 years 11 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
145
click to vote
IJIT
2004
15 years 7 months ago
2004
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...