42 search results - page 9 / 9 » Automated Assume-Guarantee Reasoning through Implicit Learni... |
IUI
2006
ACM
13 years 11 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
MM
2006
ACM
13 years 11 months ago
2006
ACM
While there have been great advances in quantification of the genotype of organisms, including full genomes for many species, the quantification of phenotype is at a comparatively...