This research is aimed at developing a hierarchical alternation-based lexical architecture for machine translation. The proposed architecture makes extensive use of information sharing in describing valency frames through derivational links from base frames, rather than as independent entities. This has advantages in descriptive efficiency, robustness and maintainability. The lexicon being deve...

Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication protocols or hardware. The main advantage of the alternating model of computation is that complementation is possible in linear time, thus allowing to concisely encode trace inclusion problems that occur often in verification. In this paper we consider alternating a...

Behaviors ranging from delivering newspapers to waiting tables depend on remembering previous episodes to avoid incorrect repetition. Physiologically, this requires mechanisms for long-term storage and selective retrieval of episodes based on the time of occurrence, despite variable intervals and similarity of events in a familiar environment. Here, this process has been modeled based on the ph...

We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on finite words, and extend it to automata on infinite words.

Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination and liveness properties. We present a new algorithm, TREX, that determines if a sequential program terminates on all inputs. The key characteristic of TREX is that it alternates between refining an overapproximation and...

In this paper we consider several notions of alternation in cellular automata: non-uniform, uniform and weak alternation. We study relations among these notions and with alternating Turing machines. It is proved that the languages accepted in polynomial time by alternating Turing machines are those accepted by alternating cellular automata in polynomial time for all the proposed alternating cel...

It has been noted repeatedly that although many verbs do occur in both syntactic patterns, some verbs only occur in one of the two patterns. For example, verbs such as cost and deny are widely described as occurring only with the DO construction whereas verbs such as drag and yell only with the PO construction. In addition, although certain verbs have been observed in both syntactic patterns, t...

CHEST, 69: 6, JUNE, 1976 ALTERNATION OF LEFT VENTRICULAR PERFORMANCE 191 7 Bryant LR, Eiseman B: Experimental evaluation of intercoastal pedicle grafts in esophageal repair. J Thorac Cardiovasc Surg 50:626, 1965 8 Efthimiadis M, Xanthakis D, Primikyrios N, et al: Late esophagopleural fistula after pneumonectomy for bronchial carcinoma. Chest 65:579-580, 1974 9 Clagett OT, Geraci JE: A procedure...

We introduce a new class Op2 as a subclass of the symmetric alternation class Sp2. An O p 2 proof system has the flavor of an S p 2 proof system, but it is more restrictive in nature. In an Sp2 proof system, we have two competing provers and a verifier such that for any input, the honest prover has an irrefutable certificate. In an Op2 proof system, we require that the irrefutable certificates ...

Over the past few decades, various animal models of obsessive compulsive disorder (OCD) have been developed. Similarly, various stressors have been used throughout animal research. The Spontaneous Alternation Behavioral (SAB) model is a well-established model of OCD while 2,5-dihydro-2,4,5-trimethylthiazoline (TMT) has recently become a popular naturalistic stressor. This study linked the two t...