The research in the field of the so called Fuzzy Mathematics can be conditionally devided into two mainstreams: the first one emphasizes on the study of different fuzzy structu...
Some recent results provide su cient conditions for complete lattices of closure operators on complete lattices, ordered pointwise, to be pseudocomplemented. This paper gives resu...
We propose to segment 3D structures with competitive level sets driven by fuzzy control. To this end, several contours evolve simultaneously toward previously defined anatomical ta...
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
We propose a distributed data structure for maintaining spatial data sets on message-passing, distributed memory machines. The data structure is based on orthogonal bisection tree...