Sciweavers

988 search results - page 127 / 198
» Positive Results and Techniques for Obfuscation
Sort
View
POPL
2005
ACM
15 years 10 months ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula
ICCAD
2006
IEEE
119views Hardware» more  ICCAD 2006»
15 years 6 months ago
FastRoute: a step to integrate global routing into placement
Because of the increasing dominance of interconnect issues in advanced IC technology, placement has become a critical step in the IC design flow. To get accurate interconnect inf...
Min Pan, Chris C. N. Chu
EUSFLAT
2007
107views Fuzzy Logic» more  EUSFLAT 2007»
14 years 11 months ago
Extending the Choquet integral
In decision under uncertainty, the Choquet integral yields the expectation of a random variable with respect to a fuzzy measure (or non-additive probability or capacity). In gener...
Giovanni Rossi
BMCBI
2006
114views more  BMCBI 2006»
14 years 10 months ago
BLISS: biding site level identification of shared signal-modules in DNA regulatory sequences
Background: Regulatory modules are segments of the DNA that control particular aspects of gene expression. Their identification is therefore of great importance to the field of mo...
Hailong Meng, Arunava Banerjee, Lei Zhou
CVPR
2004
IEEE
15 years 12 months ago
Proposal Maps Driven MCMC for Estimating Human Body Pose in Static Images
This paper addresses the problem of estimating human body pose in static images. This problem is challenging due to the high dimensional state space of body poses, the presence of...
Mun Wai Lee, Isaac Cohen