4272 search results - page 704 / 855 » A Case for Automatic System Evaluation |
DLOG
2009
14 years 7 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...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Low-Cost test methodologies for Systems-on-Chip are increasingly popular. They dictate which features have to be included on-chip and which test procedures have to be adopted in o...
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Embedded application requirements, including high performance, low power consumption and fast time to market, are uncommon in the broader domain of general purpose applications. I...
118
click to vote
ICDCS
2012
IEEE
13 years 13 days ago
2012
IEEE
Operational network data, management data such as customer care call logs and equipment system logs, is a very important source of information for network operators to detect prob...
KDD
2000
ACM
15 years 1 months ago
2000
ACM
To improve the accuracy in terms of precision and recall of an audio information retrieval system we have created a domainspecific ontology (a collection of key concepts and their...