112 search results - page 23 / 23 » Research on the Sheepdog Problem Using Cellular Automata |
BMCBI
2008
14 years 11 months ago
2008
Background: The analysis of high-throughput gene expression data sets derived from microarray experiments still is a field of extensive investigation. Although new approaches and ...
SIGSOFT
2007
ACM
16 years 6 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...