Sciweavers

2316 search results - page 218 / 464
» The many forms of hypercomputation
Sort
View
GLVLSI
2008
IEEE
120views VLSI» more  GLVLSI 2008»
16 years 28 days ago
SAT-based equivalence checking of threshold logic designs for nanotechnologies
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...
Yexin Zheng, Michael S. Hsiao, Chao Huang
GLVLSI
2008
IEEE
140views VLSI» more  GLVLSI 2008»
16 years 28 days ago
A table-based method for single-pass cache optimization
Due to the large contribution of the memory subsystem to total system power, the memory subsystem is highly amenable to customization for reduced power/energy and/or improved perf...
Pablo Viana, Ann Gordon-Ross, Edna Barros, Frank V...
ICDM
2008
IEEE
136views Data Mining» more  ICDM 2008»
16 years 27 days ago
Document-Word Co-regularization for Semi-supervised Sentiment Analysis
The goal of sentiment prediction is to automatically identify whether a given piece of text expresses positive or negative opinion towards a topic of interest. One can pose sentim...
Vikas Sindhwani, Prem Melville
ICIP
2008
IEEE
16 years 27 days ago
A nonlocal-means approach to exemplar-based inpainting
This paper introduces a novel approach to the problem of image inpainting through the use of nonlocal-means. In traditional inpainting techniques, only local information around th...
Alexander Wong, Jeff Orchard
IEEEARES
2008
IEEE
16 years 26 days ago
Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
Zhiyao Liang, Rakesh M. Verma