A brief experimental analysis was used to evaluate the relative effectiveness of combining two consequences (contingent reinforcement or performance feedback) with an antecedent intervention (listening passage preview and repeated readings) on the oral reading fluency of 6 elementary students. The antecedent intervention increased the number of correctly read words per minute for all 6 students...

In the context of fuzzy control, antecedent parameters are used to provide a segmentation of the state space so that different regions can be modeled appropriately. In Adaptive Critic methodologies, two modules (the critic and the controller) must properly segment the state space to insure good performance. In this paper, we explore the effects of tuning antecedent parameters that are shared be...

We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardware designs at the Register Transfer Level (RTL). Antecedent conditioned slicing prunes the verification state space, using information from the antecedent of a given LTL property. In this work, we model instructions o...

Functional analysis test conditions typically manipulate a single antecedent variable and an associated consequence to better isolate response-reinforcer relations. In some instances no problem behavior is observed, perhaps representing a false-negative finding. The present study evaluated one approach to assess potentially false-negative findings within functional analyses. Participants were e...

We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in practical applications are considered a problem by the system verifier. The second shows that vacuity detection for certain logics can be very complex and time consuming. This brings vacuity detection into an undesirable ...

Prior studies on online sentence processing have shown that the parser can resolve non-local dependencies rapidly and accurately. This study investigates the interaction between the processing of two such non-local dependencies: wh-filler-gap dependencies (WhFGD) and reflexive-antecedent dependencies. We show that reflexive-antecedent dependency resolution is sensitive to the presence of a WhFG...

We investigated the processing of pronouns in Strong and Weak Crossover constructions as a means of probing the extent to which the incremental parser can use syntactic information to guide antecedent retrieval. In Experiment 1 we show that the parser accesses a displaced wh-phrase as an antecedent for a pronoun when no grammatical constraints prohibit binding, but the parser ignores the same w...

Truth Maintenance Systems (TMSs) are important tools for caching beliefs and inferences that support search and explanation tasks of general problem solvers. For embedded real-time systems, fast response from the TMSs is especially required. To achieve this, Nayak and Williams [9] presented an Incremental Truth Maintenance System (ITMS) based on depth-first numbering to avoid spending a signifi...

We consider several antecedent prediction models that use no pipelined features generated by upstream systems. Models trained in this way are interesting because they allow for side-stepping the intricacies of upstream models, and because we might expect them to generalize better to situations in which upstream features are unavailable or unreliable. Through quantitative and qualitative error a...

We conducted two eye-tracking experiments investigating the processing of the Mandarin reflexive ziji in order to tease apart structurally constrained accounts from standard cue-based accounts of memory retrieval. In both experiments, we tested whether structurally inaccessible distractors that fulfill the animacy requirement of ziji influence processing times at the reflexive. In Experiment 1,...