Sciweavers

1172 search results - page 178 / 235
» Approximate Reasoning Based on Similarity
Sort
View
ECCV
2010
Springer
14 years 3 months ago
Energy Minimization Under Constraints on Label Counts
Abstract. Many computer vision problems such as object segmentation or reconstruction can be formulated in terms of labeling a set of pixels or voxels. In certain scenarios, we may...
CAIP
2009
Springer
209views Image Analysis» more  CAIP 2009»
14 years 2 months ago
Total Variation Processing of Images with Poisson Statistics
This paper deals with denoising of density images with bad Poisson statistics (low count rates), where the reconstruction of the major structures seems the only reasonable task. Ob...
Alex Sawatzky, Christoph Brune, Jahn Müller, ...
CARDIS
2000
Springer
124views Hardware» more  CARDIS 2000»
14 years 2 months ago
Elliptic Curve Cryptography on Smart Cards without Coprocessors
Abstract This contribution describes how an elliptic curve cryptosystem can be implemented on very low cost microprocessors with reasonable performance. We focus in this paper on t...
Adam D. Woodbury, Daniel V. Bailey, Christof Paar
AGP
1996
IEEE
14 years 2 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
EPIA
1997
Springer
14 years 2 months ago
GenSAT: A Navigational Approach
GenSATis a family of local hill-climbing procedures for solving propositional satisfiability problems.We restate it as a navigational search process performed on an N-dimensionalc...
Yury V. Smirnov, Manuela M. Veloso