4299 search results - page 374 / 860 » Concurrent Test Generation |
117
Voted
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
118
click to vote
ISMVL
1997
IEEE
15 years 9 months ago
1997
IEEE
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realiza...
193
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
113
click to vote
COLING
2010
15 years 18 hour ago
2010
This paper proposes a novel semisupervised word alignment technique called EMDC that integrates discriminative and generative methods. A discriminative aligner is used to find hig...
129
Voted
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
With the rapid advancement of information technology, scalability has become a necessity for learning algorithms to deal with large, real-world data repositories. In this paper, sc...