882 search results - page 89 / 177 » On self-embeddings of computable linear orderings |
PDCAT
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Handwritten words are usually slant or Italicized due to the mechanism of handwriting and the personality. In order to improve the accuracy of character segmentation and recogniti...
TLCA
2007
Springer
15 years 4 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
ISSAC
2005
Springer
15 years 3 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 ...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we formulate the problem of grouping the states of a discrete Markov chain of arbitrary order simultaneously with deconvolving its transition probabilities. As the na...