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.
We prove that the injectively omega-tree-automatic ordinals are the ordinals smaller than $\omega^{\omega^\omega}$. Then we show that the injectively $\omega^n$-automatic ordinals, where $n>0$ is an integer, are the ordinals smaller than $\omega^{\omega^n}$. This strengthens a recent result of Schlicht and Stephan who considered in [Schlicht-Stephan11] the subclasses of finite word $\omega^n$-automatic ordinals. As a by-product we obtain that the hierarchy of injectively $\omega^n$-automatic structures, n>0, which was considered in [Finkel-Todorcevic12], is strict.
We study structures that are automatic with advice. These are structures that admit a presentation by finite automata (over finite or infinite words or trees) with access to an additional input,called an advice. Over finite words, a standard example of a structure that is automatic with advice, but not automatic in the classical sense, is the additive group of rational numbers (Q,+).
By using a set of advices rather than a single advice, this leads to the new concept of a parameterised automatic presentation as a means to uniformly represent a whole class of structures. The decidability of the first-order theory of such a uniformly automatic class reduces to the decidability of the monadic second-order theory of the set of advices that are used in the presentation. Such decidability results also hold for extensions of first-order logic...
The Workshop on Automatic Performance Analysis (WAPA 2005, Dagstuhl Seminar 05501), held December 13-16, 2005, brought together performance researchers, developers, and practitioners with the goal
of better understanding the methods, techniques, and tools that are needed for the automation of performance
analysis for high performance computing.
This report presents information relating to a vehicle technology commonly referred to as Automatic Collision (or Crash) Notification (ACN) as well as its relevance in South Australia. The purpose of this vehicle technology is to identify that a collision has occurred and automatically relay the crash notification and location to a third party to initiate a response by emergency medical services. The potential benefit of this system may come from reductions in emergency notification times and a reduction in any uncertainty that emergency services might otherwise have regarding the location of the crash. The analysis presented in this report conservatively estimated that if ACN was fully deployed in the vehicle fleet, road crash fatalities in South Australia in the period 2008-2009, may potentially have been reduced by 2.2% - 4.4%.
In this paper, we briefly describe the automatic model selection which is provided by Autometrics in the PcGive program. The modeler only needs to specify the initial model and the significance level at which to reduce the model. Then, the algorithm does the rest. The properties of Autometrics are discussed. We also explain its background concepts and try to see whether the model selected by the Autometrics can perform well. For a given data set, we use Autometrics to find a “new” model, and then compare the “new” model with a previously selected one by another modeler. It is an interesting issue to see whether Autometrics can also find models which fit better to the given data. As an illustration, we choose three examples. It is true that Autometrics is labor saving and always gives us a parsimonious model. It is really an invaluable ...
Relative Debugging is a paradigm that assists users to locate errors in programs that have been corrected or enhanced. In particular, the contents of key data structures in the development version are compared with the contents of the corresponding data structures, in an existing version, as the two programs execute. If the values of two corresponding data structures differ at points where they should not, an error may exist and the user is notified.
Relative Debugging requires users to identify the corresponding data structures within the two programs, and the locations at which the comparisons should be performed.
To quickly and effectively identify useful data structures and comparison points requires that users have a detailed knowledge of the two programs under consideration. Without a detailed knowledge of the two programs, t...
Our project is concerned with the automatic parallelization of Mercury programs. Mercury is a purely-declarative logic programming language, this makes it easy to determine whether a set of computations may be performed in parallel with one-anther. However, the problem of how to determine which computations should be executed in parallel in order to make the program perform optimally is unsolved. Therefore, our work concentrates on building a profiler-feedback automatic parallelization system for Mercury that creates programs with very good parallel performance with as little help from the programmer as possible.
The work presented in this dissertation investigates music segmentation. In the field of Musicology, segmentation refers to a score analysis technique, whereby notated pieces or passages of these pieces are divided into “units” referred to as sections, periods, phrases, and so on. Segmentation analysis is a widespread practice among musicians: performers use it to help them memorise pieces, music theorists and historians use it to compare works, music students use it to understand the compositional strategies of a given composer or genre. In the field of Music Psychology it is posited that a similar type of analysis is performed by our auditory system when constructing mental representations of music. In fact, most theories consider segmentation to be a core listening mechanism, fundamental to the way humans recognise, categorise, and ...
This paper investigates the automatic atti-
tude and depth control of a torpedo shaped
submarine. Both experimental results and
dynamic simulations are used to tune feed-
back control loops in order to obtain stable
control of yaw, pitch and roll of the craft.
Most of the research on automatic music transcription is focused on the transcription of pitched instruments, like the guitar and the piano. Little attention has been given to unpitched instruments, such as the drum kit, which is a collection of unpitched instruments. Yet, over the last few years this type of instrument started to garner more attention, perhaps due to increasing popularity of the drum kit in the western music.
There has been work on automatic music transcription of the drum kit, especially the snare drum, bass drum, and hi-hat. Still, much work has to be done in order to achieve automatic music transcription of all unpitched instruments. An example of a type of unpitched instrument that has very particular acoustic characteristics and that has deserved almost no attention by the research community is the drum kit cymb...
