16404 search results - page 602 / 3281 » A set coverage problem |
187
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Dynamic-current based test techniques can potentially address the drawbacks of traditional and Iddq test methodologies. The quality of dynamic current based test is degraded by pr...
229
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
162
click to vote
ITP
2010
15 years 11 months ago
2010
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
242
click to vote
EWCBR
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a methodology of maintaining Case Based Reasoning (CBR) systems by using fuzzy decision tree induction - a machine learning technique. The methodology is mainly...
219
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Keyword-based search in relational databases allows users to discover relevant information without knowing the database schema or using complicated queries. However, such searches...