We propose a fast texture-segmentation approach to the problem of 2-D and 3–D model-based contour tracking, which is suitable for real-time or interactive applications. Our appr...
The Hilbert curve is one of space-filling curves published by G. Peano. There are several applications using this curve, such as image processing, computer graphics, etc. In this ...
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
We present in this paper an interactive method for numeric or symbolic data visualization that allows a domain expert to extract useful knowledge and information. We propose a new ...
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...