Predicate Paraphrasing based on Case Frame Alignment.

Verb Paraphrase based on Case Frame Alignment

Frame Based Typing of Predicate Transformers

The algebraic relationship between predicates and predicate transformers is considered. A canonical decomposition property of transformers is used to develop a typing mechanism for predicate transformer process models based on the input and output interfaces of the processes. Predicate transformers are typed according to the variables read from or written to by the process described by the pred...

Frame Correspondences in Modal Predicate Logic

Understanding modal predicate logic is a continuing challenge, both philosophical and mathematical. In this paper, I study this system in terms of frame correspondences, finding a number of definability results using substitution methods, including new analyses of axioms in intermediate intuitionistic predicate logics. The semantic arguments often have a different flavour from those in proposit...

An Improved Inertial Frame Alignment Algorithm Based on Horizontal Alignment Information for Marine SINS

In this paper, an improved inertial frame alignment algorithm for a marine SINS under mooring conditions is proposed, which significantly improves accuracy. Since the horizontal alignment is easy to complete, and a characteristic of gravity is that its component in the horizontal plane is zero, we use a clever method to improve the conventional inertial alignment algorithm. Firstly, a large mis...

frame alignment procedure in digital transmission systems

every digital transmission system requires frame alignment. it is necessary to identify the varius signal componets and to bring receiver into phase with respect to the transmission format so that the digits can be properly assembled for demultiplexing. fast and reliable frame alignmant is important, and therefore has been a subject for study. this paper a comprehensive analysis of frame alignm...