272 search results - page 13 / 55 » On Continuous Normalization |
SAT
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
DIMVA
2004
13 years 11 months ago
2004
: A honeynet is a special prepared network which is not used in normal business. It is a kind of playground to watch and learn the tactics of crackers. The only purpose of a honeyn...
ACCV
2007
Springer
14 years 4 months ago
2007
Springer
We propose a method for interpolation between eigenspaces. Techniques that represent observed patterns as multivariate normal distribution have actively been developed to make it r...
VISUALIZATION
1998
IEEE
14 years 2 months ago
1998
IEEE
We introduce a new approach for mapping texture on volumetric iso-surfaces and parametric surfaces. Our approach maps 2D images on surfaces while maintaining continuity and preser...
IPL
2008
13 years 9 months ago
2008
In order to generate a universal probability distribution to extrapolate a binary string x of length i, we feed random bits into a universal device, M. When we find an input strin...