334 search results - page 57 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
125
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: 3D-Jury, the structure prediction consensus method publicly available in the Meta Server http://meta.bioinfo.pl/, was evaluated using models gathered in the 7th round ...
127
Voted
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
154
Voted
DAWAK
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
196
click to vote
CIKM
2010
Springer
15 years 19 days ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...
148
click to vote
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...