3742 search results - page 681 / 749 » On the Use of Formal Techniques for Validation |
158
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Algorithms that locate evolutionarily conserved sequences have become powerful tools for finding functional DNA elements, including transcription factor binding sites;...
192
click to vote
NAR
2008
15 years 6 months ago
2008
The Gene Ontology (GO) vocabulary has been extensively explored to analyze the functions of coexpressed genes. However, despite its extended use in Biology and Medical Sciences, t...
150
click to vote
AROBOTS
2002
15 years 6 months ago
2002
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...
168
click to vote
TSE
2002
15 years 5 months ago
2002
A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
164
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Although robot navigation in indoor environments has achieved great success, robots are unable to fully navigate these spaces without the ability to operate elevators, includin...