NBC News Scripts
WBAP-TV (Television station : Fort Worth, Tex.)
1954-12-31
Search results
You search for automatic and 75,118 records were found.
Graphical user interfaces tend to get more and more complex, and consequently, the user needs help to work with these interfaces. Development of good help systems is very time-consuming, if only because the help system needs to change whenever the specifications do. Therefore, we have been concentrating on the automatic generation of help.
The context of the research reported in this paper is the User Interface Design Evvironment (UIDE), which uses high-level application and interface representations to generate interfaces and help. Based on descriptions of an interface, help can be generated to answer two questions: "Why is an object not usable (grayed out)?", and "How can it be made usable?". Pre- and post-conditions, part of the semantics and sequencing control representations in UIDE, are used to answer these questions.
T...
Integrated high-Q continuous-time filters require adaptive tuning circuits that will correct the filter parameters such as center frequency and quality factor (Q). Three different automatic tuning techniques are introduced. In all of the proposed methods, frequencyand quality factor tuning loops are controlled digitally, providing stable tuning by activating only one loop at a given time. In addition, a direct relationship between passband gain and quality factor is not required, so the techniques can be applied to active LC filters as well as Gm-C filters. The digital-tuning method based on phase comparison was veri?ed with 1% tuning accuracy at 5.5 MHz for Q of 20. It uses phase information for both Q and center-frequency tuning. The ?lter output phase is tuned to the known references, which are generated by a frequency synthesizer. ...
In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. A parameterized system may be regarded as an infinite family of instances, namely one for each size. The aim is to perform a parameterized verification, i.e. to verify that behaviors produced by all instances, regardless of their size, comply with some safety or liveness property. In this work, we describe three approaches to parameterized verification. First, we extend the Regular Model Checking framework to systems where components are organized in tree-like structures. For such systems, we give a methodology for computing the set of reachable configurations (used to verify safety prope...
Speaker verification is the process of verifying the identity of a person by analysing their speech. There are several important applications for automatic speaker verification (ASV) technology including suspect identification, tracking terrorists and detecting a person’s presence at a remote location in the surveillance domain, as well as person authentication for phone banking and credit card transactions in the private sector. Telephones and telephony networks provide a natural medium for these applications. The aim of this work is to improve the usefulness of ASV technology for practical applications in the presence of adverse conditions. In a telephony environment, background noise, handset mismatch, channel distortions, room acoustics and restrictions on the available testing and training data are common sources of errors for ASV...
The majority of automatic speech recognition (ASR) systems rely on hidden Markov models (HMM), in which the output distribution associated with each state is modelled by a mixture of diagonal covariance Gaussians. Dynamic information is typically included by appending time-derivatives to feature vectors. This approach, whilst successful, makes the false assumption of framewise independence of the augmented feature vectors and ignores the spatial correlations in the parametrised speech signal. This dissertation seeks to address these shortcomings by exploring acoustic modelling for ASR with an application of a form of state-space model, the linear dynamic model (LDM). Rather than modelling individual frames of data, LDMs characterize entire segments of speech. An auto-regressive state evolution through a continuous space gives a Markovi...
We present an approach to automatic detection of syllable boundaries for Italian. The syllable is credited as a linguistic unit conditioning both segmental (e.g., consonant or vowel lengthening) and prosodic phonology (e.g., tune-text association, rhythmical alternations) and its automatic annotation represent a valuable tool for quantitative analyses of large speech data sets.
summary:Automatic differentiation is an effective method for evaluating derivatives of function, which is defined by a formula or a program. Program for evaluating of value of function is by automatic differentiation modified to program, which also evaluates values of derivatives. Computed values are exact up to computer precision and their evaluation is very quick. In this article, we describe a program realization of automatic differentiation. This implementation is prepared in the system UFO, but its principles can be applied in other systems. We describe, how the operations are stored in the first part of the derivative computation and how the obtained records are effectively used in the second part of the computation.
To solve the problems such as driving safety and energy consumption existing in tunnel lighting control system, an automatic control system of tunnel lighting is designed based on stepless control method. The tunnel lighting control model is established based on “Specifications for Design of Ventilation and Lighting of Highway Tunnel (China)”. Simulation experiment of tunnel lighting control based on the established stepless control model is completed with Matlab. Compared with theoretical luminance data, simulation results show that the automatic control system can meet the luminance requirements of actual tunnel lighting, the error can be controlled less than 2%. Compared with HPS (high pressure sodium) lamps and LED (light-emitting diode) lamps with the consideration of maximum lighting value, the stepless controlled LED lamps can s...
In this paper we present a short survey of automatic speech recognition systems underlining the current achievements and capabilities of current day solutions as well as their inherent limitations and shortcomings. In response to which we propose an improved paradigm and algorithm for building an automatic speech recognition system that actively adapts its recognition model in an unsupervised fashion by listening to continuous human speech. The paradigm relies on creating a semi-autonomous system that samples continuous human speech in order to record phonetic units. Then processes those phoneme sized samples to identify the degree of similarity of each sample that will allow the detection of the same phoneme across many samples. After a sufficiently large database of samples has been gathered the system clusters the samples based on t...
The approach of magnetic scalar potential 0 - is widely popular for solving magnetic problems coupled with electric circuits. However, cuts are required to preserve the Ampere's law for the case of ferromagnetic circuits with holes surrounded by coils. The manual definition of cuts might not be evident even for experimented finite-element (FE) users. This paper presents a new automatic cuts generation algorithm. First, we present a tool that allows determining if a ferromagnetic region has holes or not. If holes are found, the region is then inflated to get automatically needed cuts. The presented algorithm is also applicable to generate electric cuts in massive conductors.
