3066 search results - page 147 / 614 » On Facilitating Automated Evaluation |
PROCEDIA
2010
13 years 4 months ago
2010
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Current Web services standards enable publishing service descriptions and finding services on a match based on criteria such as method signatures or service category. However, cur...
METRICS
2005
IEEE
14 years 2 months ago
2005
IEEE
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...