Sciweavers

4299 search results - page 374 / 860
» Concurrent Test Generation
Sort
View
159
Voted
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
237
Voted
ICLP
1995
Springer
15 years 11 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...
160
Voted
COLING
2010
15 years 2 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
188
Voted
ISMIS
2005
Springer
16 years 29 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