7393 search results - page 150 / 1479 » Synthesis-for-testability using transformations |
138
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a fully automated multimodal medical image matching technique. Our method extends the concepts used in the computer vision SIFT technique for extracting and matching di...
166
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 7 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
153
Voted
NIPS
2004
15 years 4 months ago
2004
We present an algorithm based on convex optimization for constructing kernels for semi-supervised learning. The kernel matrices are derived from the spectral decomposition of grap...
WSC
2004
15 years 4 months ago
2004
Hospitals today are investing time and money to expand and improve their Emergency Departments (ED). Using simulation to test their many improvement ideas can necessitate running ...
92
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper discusses the wide baseline matching problem where the camera parameters are known up to an error factor and the ground surface is considered planar. Junctions of diffe...