3901 search results - page 575 / 781 » software 2008 |
218
click to vote
JSAT
2010
15 years 1 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
185
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Biological signaling pathways that govern cellular physiology form an intricate web of tightly regulated interlocking processes. Data on these regulatory networks are ...
193
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: While the C. elegans genome is extensively annotated, relatively little information is available for other Caenorhabditis species. The nematode genome annotation asses...
164
click to vote
ICMLA
2008
15 years 8 months ago
2008
We introduce three ensemble machine learning methods for analysis of biological DNA binding by transcription factors (TFs). The goal is to identify both TF target genes and their ...
161
click to vote
IIWAS
2008
15 years 8 months ago
2008
The main text content of an HTML document on the WWW is typically surrounded by additional contents, such as navigation menus, advertisements, link lists or design elements. Conte...