Mohamed Tajine

Learn More
We study language-theoretical properties of the set of reducible ground terms and its complement-the set of ground normal forms induced by a g i v en rewriting system. As a tool for our analysis we i n troduce the property of nite irreducibility of a term with respect to a variable and prove it to be decidable. It turns out that this property generalizes(More)
In this paper, we propose an original tree matching algorithm for intra-patient hepatic vascular system registration. The vascular systems are segmented from CT-Scan images acquired at different time, and then modeled as trees. The goal of this algorithm is to find common bifurcations (nodes) and vessels (edges) in both trees. Starting from the tree root,(More)
In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT-scan images acquired at different times, and then modeled as trees. The goal of this algorithm is to find common bifurcations (nodes) and vessels (edges) in both trees. Starting from the(More)
In this paper we propose a new two step method to register the liver from two acquisitions. This registration helps experts to make an intra-patient follow-up for hepatic tumors. Firstly, an original and efficient tree matching is applied on different segmentations of the vascular system of a single patient. These vascular systems are segmented from CT-scan(More)