605 search results - page 13 / 121 » Normalizers and Split Extensions |
92
Voted
ASIAN
1999
Springer
15 years 3 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
PRL
2008
14 years 10 months ago
2008
It is a conventional belief that line-based approaches perform better than point-based ones for homography estimation, as the linefitting is generally more noise resistant than po...
ISSAC
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
BILDMED
2009
14 years 8 months ago
2009
Abstract. An extension of the normalized mutual information similarity measurement was proposed to register cardiac PET/CT and SPECT images representing coronary artery disease in ...