5863 search results - page 100 / 1173 » Calculating Functional Programs |
168
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
106
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
126
click to vote
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
106
click to vote
CG
2002
Springer
15 years 2 months ago
2002
Springer
The difficulty to write successful 19x19 go programs lies not only in the combinatorial complexity of go but also in the complexity of designing a good evaluation function containi...
125
click to vote
WSC
2000
15 years 3 months ago
2000
Computation of power control calculations is one of the most time-consuming aspects of simulating wireless communication systems. These calculations are critical to understanding ...