We consider the transition graphs of regular ground tree (or term) rewriting systems. The vertex set of such a graph is a (possibly infinite) set of trees. Thus, with a finite tree...
This paper copes with the reconstruction of accretionary morphogenesis within a given observation plane from an image depicting successive (typically seasonal or daily) growth str...
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
: Given the occurrence frequency of any term within any set of articles within MEDLINE, we define ―characteristic‖ terms as words and phrases that occur in that literature more...
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...