85 search results - page 10 / 17 » Automated HDL Generation: Comparative Evaluation |
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
AI
2003
Springer
14 years 26 days ago
2003
Springer
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
BMCBI
2008
13 years 7 months ago
2008
Background: High-throughput screening of pharmaceutical compound activity in tissue culture experiments requires time-consuming repeated analysis of the large amounts of data gene...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
WCRE
2003
IEEE
14 years 27 days ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...