1022 search results - page 114 / 205 » Relators and Metric Bisimulations |
153
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. In this paper we present a new algorithm for 3D medical image segmentation. The algorithm is fast, relatively simple to implement, and semi-automatic. It is based on mini...
179
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. The increasing availability of parallel comp...
176
click to vote
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
In this paper we compare and contrast two approaches to Machine Translation (MT): the CMU-UKA Syntax Augmented Machine Translation system (SAMT) and UPC-TALP N-gram-based Statisti...
170
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
162
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A quantitative approach for measuring and describing feature interactions in object-oriented software components based on source code inspection is presented. The methodical arsen...