This contribution reports on three sentence processing experiments involving structurally ambiguous Jabberwocky strings. The items are complex NPs, in which a relative clause can be attached to either of two nominal heads (NP1-preposition-NP2-RC). The phonological lengths of the heads, as well as that of the relative clause, are manipulated. The results show modest effects on relative clause at...

The OpenMP Architecture Review Board has released version 2.0 of the OpenMP Fortran language specification in November 2000, and version 2.0 of the OpenMP C/C++ language specification in March 2002. This paper discusses the implementation of the OpenMP Fortran 2.0 WORKSHARE construct, NUM THREADS clause, COPYPRIVATE clause, and array REDUCTION clause in the Parallelnavi software package. We foc...

The famous archetypical NP-complete problemof Boolean satisfiability (SAT) and its PSPACEcomplete generalization of quantified Boolean satisfiability (QSAT) have become central declarative programming paradigms through which real-world instances of various computationally hard problems can be efficiently solved. This success has been achieved through several breakthroughs in practical implement...

A sufficient and necessary condition is given under which least Herbrand models exactly characterize the answers of definite clause programs.

Previous research suggests that time-based working memory limits of 2e3 s constrain the integration of verbal information, and that speakers tend to parse sentences into prosodic phrases that do not extend beyond this time window. The present study used Event-Related Potentials (ERPs) to investigate how time-driven implicit prosodic phrasing influences the syntactic processing of embedded claus...

Finding all satisfying assignments of a propositional formula has many applications to the synthesis and verification of hardware and software. An approach to this problem that has recently emerged augments a clause-recording propositional satisfiability solver with the ability to add “blocking clauses.” One generates a blocking clause from a satisfying assignment by taking its complement. The ...

Relative clause attachment may be triggered by binding requirements imposed by a short anaphor contained within the relative clause itself: in case more than one possible attachment site is available in the previous structure, and the relative clause itself is extraposed, a conflict may arise as to the appropriate s/c-structure which is licenced by grammatical constraints but fails when the bin...

In this paper, we propose a method for automatic clause boundary annotation in the Hindi Dependency Treebank. We show that the clausal information implicitly encoded in a dependency structure can be made explicit with no or less human intervention. We exercised the proposed approach on 16,000 sentences of Hindi Dependency Treebank. Our approach gives an accuracy of 94.44% for clause boundary id...

We devise a resolution calculus that tests the satisfiability of infinite families of clause sets, called clause set schemata. For schemata of propositional clause sets, we prove that this calculus is sound, refutationally complete, and terminating. The calculus is extended to first-order clauses, for which termination is lost, since the satisfiability problem is not semi-decidable for nonpropo...

2. Fronting pattern follows from three ranked, violable constraints: Antecedent: An anaphor has an accessible antecedent, i.e. an anaphor has an antecedent and the anaphor does not precede and c-command its antecedent (Hankamer and Sag, 1976). >> TopFirst: Topic is clause initial, i.e. if a syntactic constituent is topic it is clause initial (= in Spec-CP; cf. Costa 2001:176). >> SubjFirst: Sub...