Sciweavers

192 search results - page 39 / 39
» Mutual Search
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 8 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
BMCBI
2006
146views more  BMCBI 2006»
13 years 4 months ago
GeneTools - application for functional annotation and statistical hypothesis testing
Background: Modern biology has shifted from "one gene" approaches to methods for genomic-scale analysis like microarray technology, which allow simultaneous measurement ...
Vidar Beisvag, Frode K. R. Jünge, Hallgeir Be...