5482 search results - page 608 / 1097 » Logic Programming and Databases |
220
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
205
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
199
click to vote
CISSE
2008
Springer
15 years 9 months ago
2008
Springer
- To achieve high performance, the next generation of high-level programming languages should incorporate databases as core technology. Presented here are the design considerations...
181
click to vote
BMCBI
2007
15 years 7 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...
178
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Improvements in protein sequence annotation and an increase in the number of annotated protein databases has fueled development of an increasing number of software too...