7393 search results - page 969 / 1479 » Synthesis-for-testability using transformations |
203
click to vote
ICEIS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
193
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Convolution operator is a linear operator characterized by a point spread functions (PSF). In classical image restoration problems, the blur is usually shift invariant and so the ...
185
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
A new image segmentation method is proposed to combine the edge information with the feature-space method, K-Means clustering. A procedure called seam processing, which is computa...
166
click to vote
NAACL
2010
15 years 4 months ago
2010
We describe tree edit models for representing sequences of tree transformations involving complex reordering phenomena and demonstrate that they offer a simple, intuitive, and eff...
160
Voted
ACL
2009
15 years 4 months ago
2009
Paraphrase generation (PG) is important in plenty of NLP applications. However, the research of PG is far from enough. In this paper, we propose a novel method for statistical par...