CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper we will show how certain techniques of image processing, having different scopes, can be joined together under a common "algebraic roof".
CORR
2010
Springer
13 years 11 months ago
2010
Springer
This paper is the second part of a series of two papers dealing with bulking: a way to define quasi-order on cellular automata by comparing space-time diagrams up to rescaling. In...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...
ARSCOM
2007
13 years 11 months ago
2007
Let us denote by EX (m, n; {C4, . . . , C2t}) the family of bipartite graphs G with m and n vertices in its classes that contain no cycles of length less than or equal to 2t and h...
APPML
2007
13 years 11 months ago
2007
In this paper, we study and analyze the regularized weighted total least squares (RWTLS) formulation. Our regularization of the weighted total least squares problem is based on th...
AML
2007
13 years 11 months ago
2007
In this paper we will prove that the plus cupping degrees generate a definable ideal on c.e. degrees different from other ones known so far, thus answer a question asked by A. Li...
APAL
2008
13 years 11 months ago
2008
This paper continues [Sh500] and [DzSh692]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the con...
AMC
2007
13 years 11 months ago
2007
: An extension of some smooth parametrized Newton-like method to the semismooth case is presented in this paper. Thus, the problems due to the fact the B-differential is singular ...
APAL
2010
13 years 11 months ago
2010
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi ...
AMC
2008
13 years 11 months ago
2008
The aim of this paper is to provide alternate proofs of all the results of our previous paper [2] in the particular case when the given two matrices A1 and A2 in the linear combin...