3281 search results - page 392 / 657 » An Approach to use Executable Models for Testing |
138
click to vote
WABI
2009
Springer
15 years 11 months ago
2009
Springer
Background: Supertree methods comprise one approach to reconstructing large molecular phylogenies given multi-marker datasets: trees are estimated on each marker and then combined...
130
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
186
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
162
click to vote
CGF
2011
14 years 8 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
144
click to vote
ENTCS
2007
15 years 4 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...