We address the problem of formally proving high level e ect de scriptions of actions from low level operational de nitions Both descriptions are expressed in a logic of actions and change with extensions for characterizing continuous change discontinuities the distinction between true and estimated values of state vari ables and the distinction between success and failure of an ac tion Both des...

High level ATPG does not make the test problem any easy. In fact, there are several design-flow-related complications it creates. Also, the fault models used in high level ATPG are not suitable. Gate level ATPG has dominated for over 20 years and continue to do so. And there are enough challenging unsolved problems in gate level ATPG and there is no evidence that high level ATPG provides any he...

Situation identification methodologies in pervasive computing aim to abstract low level context data into more meaningful high level contexts for use by context-aware application developers and users. Many situation identification techniques have been developed and successfully applied to limited scenarios. It is not possible to apply a single technique to a wide range of diverse applications. ...

The scheduling problem — one of the central tasks in high-level synthesis — is the problem of determining the order in which the operations in the behavioral description will execute. This tutorial introduces the scheduling problem, and describes four scheduling algorithms commonly used today to solve those problems.

The purposes of this study are: (1) to investigate students’ perceptions of computer-assisted whole language instruction; (2) to examine the effectiveness of whole language instruction on students’ reading improvement; and (3) to determine the difference between basic-level and advanced-level students’ improvement in reading skills. A total of 212 freshmen (98 low level and 114 high level stude...

A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the research organization follows a multi-step process: access, acquire, analyze and report. The customer is given an estimate of whether its request will be met, and if not, why not. The explanation may be provided at multiple ...

Mating experiments have shown that high-level resistance (minimal inhibitory concentration greater than 2,000 microgram/ml) to streptomycin and kanamycin, and resistance to penicillin-streptomycin and penicillin-kanamycin synergism are transferable by conjugation from resistant clinical isolates of enterococci to a sensitive recipient strain. Cesium chloride-ethidium bromide ultracentrifugation...

In a tournament, a principal sets a prize, and several agents then compete to attain the highest observed output, and win the prize. This paper departs from the existing literature on tournaments by assuming that agents can influence the spread of their distribution of output, in addition to the mean. We ask in which way risk taking and effort interacts in equilibrium. First, under standard tou...

Figure 1: Matching I1 and I2 using DNN flow. Each column shows the matching of different levels. In first row, parallelogram denotes the DNN feature image of I1, where dot represents the feature at that location. Line with arrow denotes the flow vector of the corresponding feature, while curve with arrow denotes guidance from high level to low level. In second row, the color rectangles show I1’...

The trend towards including both acoustic and high level speech features in speaker recognition systems is addressed with the presentation of the speaker verification system developed by QUT for the NIST 2004 Speaker Recognition Evaluation. The system presented is a fusion of five subsystems including acoustic, lexical, phonetic, prosodic and durational speech features and focuses on utilising ...