2316 search results - page 256 / 464 » The many forms of hypercomputation |
156
click to vote
IFSA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...
284
click to vote
ASIAMS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
142
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
164
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
Image manipulation takes many forms. A powerful approach involves image adjustment by example. To make color edits more intuitive, the intelligent transfer of a user-specified ta...
176
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In the Mobile IPv6 protocol, the mobile node sends binding updates to its correspondents to inform them about its current location. It is well-known that the origin of this locati...