882 search results - page 73 / 177 » On self-embeddings of computable linear orderings |
ACTA
2007
14 years 10 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
4OR
2006
14 years 10 months ago
2006
This paper is based on the study of the set of nondecomposable integer solutions in a Gomory corner polyhedron, which was recently used in a reformulation method for integer linear...
101
click to vote
AINA
2010
IEEE
14 years 9 months ago
2010
IEEE
—This paper describes a method of linearizing the nonlinear characteristics of many sensors using an embedded neural network. The proposed method allows for complex neural networ...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We have performed segmentation procedures on a large number of images from two mammalian cell lines that were seeded at low density, in order to study trends in the segme...
126
click to vote
SIGPRO
2010
14 years 8 months ago
2010
Total Variation (TV) regularization is a popular method for solving a wide variety of inverse problems in image processing. In order to optimize the reconstructed image, it is imp...