6274 search results - page 832 / 1255 » Proofs, Programs, Processes |
149
Voted
BMCBI
2007
15 years 5 months ago
2007
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
157
click to vote
AI
2002
Springer
15 years 5 months ago
2002
Springer
This article surveys three techniques for enhancing heuristic game-tree search pioneered in the author's Othello program Logistello, which dominated the computer Othello scen...
162
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Current practice in Human Computer Interaction as encouraged by educational institutes, academic review processes, and institutions with usability groups advocate usability evalua...
163
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
278
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...