406 search results - page 63 / 82 » Identifying Codes and Covering Problems |
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
A "plan diagram" is a pictorial enumeration of the execution plan choices of a database query optimizer over the relational selectivity space. We have shown recently tha...
FDL
2008
IEEE
14 years 3 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
PDP
2007
IEEE
14 years 2 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...
MM
2006
ACM
14 years 2 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...
ISD
1999
Springer
14 years 26 days ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...