7393 search results - page 370 / 1479 » Synthesis-for-testability using transformations |
154
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
131
Voted
TEC
2002
15 years 4 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...
169
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Many computer vision and image processing tasks require the preservation of local discontinuities, terminations and bifurcations. Denoising with feature preservation is a challeng...
154
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
116
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
We revisit stereo matching functions, a topic that is considered
well understood, from a different angle. Our goal
is to discover a transformation that operates on the cost
or s...