1027 search results - page 162 / 206 » Better Correspondence by Registration |
JLP
2007
13 years 7 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
JSAC
2007
13 years 7 months ago
2007
Abstract— This paper deals with a cooperative decoded relaying scheme in multihop wireless network and the corresponding transmitters power allocation strategies for nodes belong...
ARTMED
2004
13 years 7 months ago
2004
: Image segmentation plays a crucial role in many medical imaging applications. In this paper, we present a novel algorithm for fuzzy segmentation of magnetic resonance imaging (MR...
CSL
2004
Springer
13 years 7 months ago
2004
Springer
Recently various techniques to improve the correlation model of feature vector elements in speech recognition systems have been proposed. Such techniques include semi-tied covaria...
CG
2002
Springer
13 years 7 months ago
2002
Springer
Increasingly, more importance is placed on the uncertainty information of data being displayed. This paper focuses on techniques for visualizing 3D scalar data sets with correspon...