In this paper we study the formal classication of two-dimensional neighborhoods genus g ≥ 2 curves with trivial normal bundle. We first construct foliations on such holonomy vanishing along many loops, then give formal/analytic equipped two foliations, and finally put together to obtain a description space up equivalence.

Word spotting is to make searchable unindexed image documents by locating word/words in a doc-ument image, given a query word. This problem is challenging, mainly due to the large numberof word classes with very small inter-class and substantial intra-class distances. In this paper, asegmentation-based word spotting method is presented for multi-writer Persian handwritten doc-...

although, most of the abnormal structures of human brain do not alter the shape of outer envelope of brain (surface), some abnormalities can deform the surface extensively. however, this may be a major problem in a surface-based registration technique, since two nearly identical surfaces are required for surface fitting process. a type of verification known as the circularity check for the shap...

recently, as the result of the development in modern imaging, computerized three dimensional data processing and advanced engineering techniques, an prosthesis that match the skeletal anatomy can be accurately designed from computer aided design (cad) technique and the physical model of prosthesis or skull replica can be produced through rapid prototyping (rp), rapid tooling (rt), and computer ...

In property testing, we desire to distinguish between objects that have a given property and objects that are far from the property by examining only a small, randomly selected portion of the objects. Property testing arose in the study of formal verication, however much of the recent work has been focused on testing graph properties. In this thesis we introduce a generalization of property tes...

In this paper we review previous work on non modal spatial logics and explore a corresponding modal spatial logic. Furthermore we present an initial classication of kinds of spatially indexed propositions.

Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical systems, classication of objects may evolve due to declassication and subject current level may evolve according to subject requests. In [2], we proposed a modal logic denition of security whose counterpart is a constrai...