3527 search results - page 186 / 706 » Test Automation in Practice |
155
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The rapid proliferation of biomedical text makes it increasingly difficult for researchers to identify, synthesize, and utilize developed knowledge in their fields of ...
143
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: With the exponential increase in genomic sequence data there is a need to develop automated approaches to deducing the biological functions of novel sequences with hig...
155
click to vote
JSA
2007
15 years 4 months ago
2007
Mapping of applications on a Multiprocessor System-on-Chip (MP-SoC) is a crucial step to optimize performance, energy and memory constraints at the same time. The problem is formu...
134
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
149
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...