3888 search results - page 366 / 778 » Change-Driven Model Transformations |
191
click to vote
CASE
2011
14 years 6 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
195
click to vote
CCECE
2011
IEEE
14 years 6 months ago
2011
IEEE
A mode-matching approach is presented for the analysis of substrate-integrated waveguide (SIW) circuits. The numerical technique takes advantage of recently developed fabrication ...
322
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
221
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Point cloud is one of the primitive representations of 3D data nowadays. Despite that much work has been done in 2D image matching, matching 3D points achieved from different pers...
151
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
While we have previously reported on multiscale segmentation of single-figure anatomic objects from medical images by deformable m-rep models, here we report on a method of segmen...