Sciweavers

460 search results - page 71 / 92
» Extracting Correlations
Sort
View
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
15 years 1 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...
94
Voted
MM
2010
ACM
198views Multimedia» more  MM 2010»
15 years 19 days ago
Analyzing and predicting sentiment of images on the social web
In this paper we study the connection between sentiment of images expressed in metadata and their visual content in the social photo sharing environment Flickr. To this end, we co...
Stefan Siersdorfer, Enrico Minack, Fan Deng, Jonat...
BMCBI
2008
154views more  BMCBI 2008»
15 years 17 days ago
Sequence based residue depth prediction using evolutionary information and predicted secondary structure
Background: Residue depth allows determining how deeply a given residue is buried, in contrast to the solvent accessibility that differentiates between buried and solvent-exposed ...
Hua Zhang, Tuo Zhang, Ke Chen 0003, Shiyi Shen, Ji...
CORR
2006
Springer
90views Education» more  CORR 2006»
15 years 14 days ago
Key Distillation and the Secret-Bit Fraction
We consider distillation of secret bits from partially secret noisy correlations PABE, shared between two honest parties and an eavesdropper. The most studied distillation scenario...
Nick S. Jones, Lluis Masanes
98
Voted
CN
2007
108views more  CN 2007»
15 years 13 days ago
On the peninsula phenomenon in web graph and its implications on web search
Web masters usually place certain web pages such as home pages and index pages in front of others. Under such a design, it is necessary to go through some pages to reach the desti...
Tao Meng, Hong-Fei Yan