Sciweavers

4299 search results - page 374 / 860
» Concurrent Test Generation
Sort
View
ICCAD
1996
IEEE
90views Hardware» more  ICCAD 1996»
15 years 11 months ago
A coloring approach to the structural diagnosis of interconnects
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 ...
Xiao-Tao Chen, Fabrizio Lombardi
ISMVL
1997
IEEE
82views Hardware» more  ISMVL 1997»
15 years 11 months ago
Finding Composition Trees for Multiple-Valued Functions
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...
Elena Dubrova, Jon C. Muzio, Bernhard von Stengel
ICLP
1995
Springer
15 years 10 months ago
Experimenting with Nonmonotonic Reasoning
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...
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk...
COLING
2010
15 years 1 months ago
EMDC: A Semi-supervised Approach for Word Alignment
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...
Qin Gao, Francisco Guzmán, Stephan Vogel
ISMIS
2005
Springer
16 years 8 days ago
Scalable Inductive Learning on Partitioned Data
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...
Qijun Chen, Xindong Wu, Xingquan Zhu