501 search results - page 74 / 101 » Simplification of Integrity Constraints for Data Integration |
104
click to vote
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
In this work, a framework for the reconstruction of smooth surface shapes from shading images is presented. The method is based on using a backpropagationbased neural network for ...
130
click to vote
CADE
2007
Springer
16 years 1 days ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
125
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we deal with a generative model for multi-label, interactive segmentation. To estimate the pixel likelihoods for each label, we propose a new higher-order formulatio...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
86
Voted
SADFE
2008
IEEE
15 years 6 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...