Sciweavers

6715 search results - page 190 / 1343
» Learning from a Test Set
Sort
View
139
Voted
ATS
1996
IEEE
117views Hardware» more  ATS 1996»
15 years 7 months ago
Hierarchical Test Generation with Built-In Fault Diagnosis
A hierarchical test generation method is presented that uses the inherent hierarchical structure of the circuit under test and takes fault diagnosability into account right from t...
Dirk Stroobandt, Jan Van Campenhout
132
Voted
SDM
2009
SIAM
161views Data Mining» more  SDM 2009»
16 years 18 days ago
Polynomial-Delay and Polynomial-Space Algorithms for Mining Closed Sequences, Graphs, and Pictures in Accessible Set Systems.
In this paper, we study efficient closed pattern mining in a general framework of set systems, which are families of subsets ordered by set-inclusion with a certain structure, pro...
Hiroki Arimura, Takeaki Uno
97
Voted
LREC
2010
187views Education» more  LREC 2010»
15 years 4 months ago
A Large List of Confusion Sets for Spellchecking Assessed Against a Corpus of Real-word Errors
One of the methods that has been proposed for dealing with real-word errors (errors that occur when a correctly spelled word is substituted for the one intended) is the "conf...
Jennifer Pedler, Roger Mitton
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 3 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau
AI
2004
Springer
15 years 3 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao