3166 search results - page 367 / 634 » Translation By Structural Correspondences |
153
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Highly regular, nanodevice based architectures have been proposed to replace pure CMOS based architectures in the emerging post CMOS era. Since bottom-up self-assembly is used to ...
197
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
A good distance measure for time series needs to properly incorporate the temporal structure, and should be applicable to sequences with unequal lengths. In this paper, we propose...
175
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
160
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
176
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
In this work we propose a novel rigid image registration approach to determine the position of high-resolution molecular structures in medium-resolution macromolecular complexes. ...