7393 search results - page 1017 / 1479 » Synthesis-for-testability using transformations |
154
click to vote
TCS
2002
15 years 4 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
150
click to vote
PRL
2007
15 years 4 months ago
2007
In this paper we develop a theory for characterizing how deformable a shape is given a sequence of its observations. We define a term called ‘‘deformability index’’ (DI) ...
176
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
142
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
High Angular Resolution Imaging (HARDI) can better explore the complex micro-structure of white matter compared to Diffusion Tensor Imaging (DTI). Orientation Distribution Functio...
147
click to vote
PAMI
2010
15 years 3 months ago
2010
—We present a novel and effective algorithm for affinely skewed rotation symmetry group detection from real-world images. We define a complete skewed rotation symmetry detectio...