5234 search results - page 824 / 1047 » Method Components - Rationale Revealed |
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Accurate identification of splice sites in DNA sequences plays a key role in the prediction of gene structure in eukaryotes. Already many computational methods have be...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Advances in DNA microarray technology portend that molecular signatures from which microarray will eventually be used in clinical environments and personalized medicin...
174
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
172
click to vote
ASE
2002
15 years 5 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
185
click to vote
TROB
2010
15 years 4 months ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...