15754 search results - page 724 / 3151 » Programs are Knowledge Bases |
181
click to vote
BIBE
2010
IEEE
15 years 8 months ago
2010
IEEE
This manuscript presents the most rigorous benchmarking of gene annotation algorithms for metagenomic datasets to date. We compare three different programs: GeneMark, MetaGeneAnnot...
232
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
189
click to vote
ENTCS
2007
15 years 7 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
204
click to vote
TSP
2008
15 years 7 months ago
2008
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
182
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...