13461 search results - page 2671 / 2693 » Generalization with Taxonomic Information |
DLOG
2009
13 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
ESIAT
2009
IEEE
13 years 5 months ago
2009
IEEE
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
ICNS
2009
IEEE
13 years 5 months ago
2009
IEEE
In the last decade, file sharing systems have generally been dominated by P2P solutions. Whereas e-mail and HTTP have been the killer apps of the earlier Internet, a large percent...
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...