Sciweavers

10054 search results - page 266 / 2011
» On the Complexity of Function Learning
Sort
View
131
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
148
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
154
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...
ALIFE
1998
15 years 3 months ago
Evolutionary Body Building: Adaptive Physical Designs for Robots
Creating artificial life forms through evolutionary robotics faces a “chicken and egg” problem: learning to control a complex body is dominated by problems specific to its s...
Pablo Funes, Jordan B. Pollack
167
Voted
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 1 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra