3706 search results - page 433 / 742 » The Transformational Approach to Program Development |
142
click to vote
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we propose a new method for pairwise rigid point set registration. We pay special attention to noise robustness, outlier resistance and global optimal alignment. The ...
142
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
134
click to vote
ICCCN
2008
IEEE
15 years 11 months ago
2008
IEEE
: Recent studies on inter-domain DWDM networks used on topology abstraction for state summarization, i.e., transforming a physical topology to a virtual mesh, tree, or star network...
124
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper describes a navigation system for autonomous underwater vehicles (AUVs) in partially structured environments, such as dams, harbors, marinas or marine platforms. A m...
145
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...