Sciweavers

6142 search results - page 193 / 1229
» The Complexity of Partition Functions
Sort
View
132
Voted
BMCBI
2010
132views more  BMCBI 2010»
15 years 3 months ago
An interaction-motif-based scoring function for protein-ligand docking
Background: A good scoring function is essential for molecular docking computations. In conventional scoring functions, energy terms modeling pairwise interactions are cumulativel...
Zhong-Ru Xie, Ming-Jing Hwang
149
Voted
CGF
2005
159views more  CGF 2005»
15 years 3 months ago
Real-Time Shape Editing using Radial Basis Functions
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
Mario Botsch, Leif Kobbelt
155
Voted
FMSD
2002
107views more  FMSD 2002»
15 years 3 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
ICCAD
2010
IEEE
156views Hardware» more  ICCAD 2010»
15 years 1 months ago
Boolean matching of function vectors with strengthened learning
Boolean matching for multiple-output functions determines whether two given (in)completely-specified function vectors can be identical to each other under permutation and/or negat...
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
VIS
2008
IEEE
120views Visualization» more  VIS 2008»
16 years 4 months ago
Size-based Transfer Functions: A New Volume Exploration Technique
The visualization of complex 3D images remains a challenge, a fact that is magnified by the difficulty to classify or segment volume data. In this paper, we introduce size-based tr...
Carlos D. Correa, Kwan-Liu Ma