Results 1 - 10
of
279
Towards a theory for integration of mathematical verification and empirical testing
- In Proceedings, ASE’98: Automated Software Engineering
, 1998
"... From the viewpoint of a project manager responsible for the V&V of a software system, mathematical verijcation techniques provide a potentially valuable addition to otherwise standard empirical testing. However, the value they add, both in terms of coverage and in fault detection, has been diffi ..."
Abstract
-
Cited by 20 (0 self)
- Add to MetaCart
discusses how to determine the optimal combination of black-box testing, white-box (structural) testing, and formal methods in V&V of a software system. Finally, a demonstration of how this utility model can be used in practice is offered using a case study.from a NASA software systems.
VACUUM TECHNIQUES IN THE ATOMIC ENERGY INDUSTRY
"... Vacuum techniques are used in two distinct fields: (1) applications where a vacuum is required as an essential part of the process, and (2) applications in which vacuum tech-niques are merely used to ensure the tightness of plant (which may not finally be required to operate under high-vacuum condit ..."
Abstract
- Add to MetaCart
and test work. Basic design rules are given and illustrated by examples of flanges, valves, and other components used in the applications mentioned above. Vacuum testing methods are discussed. The charcoal-Pirani technique of testing is favoured for most applications; tests can be carried out on components
Text detection from natural scene images: towards a system for visually impaired persons
- In Int. Conf. on Pattern Recognition
, 2004
"... We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design and evaluates several character extraction methods. Automatic text recognition from natural images receives a growing atte ..."
Abstract
-
Cited by 48 (4 self)
- Add to MetaCart
We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design and evaluates several character extraction methods. Automatic text recognition from natural images receives a growing
See What You Want to See: Motivational Influences on Visual Perception,”
- Journal of Personality and Social Psychology,
, 2006
"... People's motivational states-their wishes and preferences-influence their processing of visual stimuli. In 5 studies, participants shown an ambiguous figure (e.g., one that could be seen either as the letter B or the number 13) tended to report seeing the interpretation that assigned them to o ..."
Abstract
-
Cited by 79 (1 self)
- Add to MetaCart
credit in their psychology or human development courses for taking part in the study. Procedure. In what was advertised as a taste-testing experiment, an experimenter explained that participants would predict taste sensations for two beverages, consume only one beverage, and describe their actual taste
PROGRESS IN APPLYING STABLE ATOMIC HYDROGEN METHODS TO POLARIZED PROTON SOURCES AND JETS
"... Résumé- Nous résumons brièvement les progrès obtenus par l'utilisation de techniques de polarisation de l'hydrogène atomique pour produire des protons polarisés. Abstract- Progress in using spin-polarized hydrogen tech-niques to produce polarized protons is briefly summarized. The possibil ..."
Abstract
- Add to MetaCart
. The possibilities of applying the techniques of spin-polarized atomic hydrogen (Hi) to provide polarized protons for application in particle and nuclear physics were recognized soon after the creation of spin-polarized hydrogen /1,2/. The basic science of Hi has been described in a recent review article /3
Comparison of Image Compression Methods Using Objective Measures towards Machine Recognition
"... Abstract: In this paper, we provide objective measures to evaluate compression methods for machine recognition applications. Vidware Vision, a black box compression method developed by Vidware Incorporated, is used in the case and its performance is compared to existing compression methods, i.e., lP ..."
Abstract
- Add to MetaCart
Abstract: In this paper, we provide objective measures to evaluate compression methods for machine recognition applications. Vidware Vision, a black box compression method developed by Vidware Incorporated, is used in the case and its performance is compared to existing compression methods, i.e., l
Towards Antihydrogen Trapping and Spectroscopy at ALPHA
"... Abstract Spectroscopy of antihydrogen has the potential to yield high-precision tests of the CPT theorem and shed light on the matter-antimatter imbalance in the Universe. The ALPHA antihydrogen trap at CERN's Antiproton Decelerator aims to prepare a sample of antihydrogen atoms confined in an ..."
Abstract
- Add to MetaCart
Abstract Spectroscopy of antihydrogen has the potential to yield high-precision tests of the CPT theorem and shed light on the matter-antimatter imbalance in the Universe. The ALPHA antihydrogen trap at CERN's Antiproton Decelerator aims to prepare a sample of antihydrogen atoms confined
Development and Optimization of Advanced Atomizers for Application in Premix Ducts,
- ASME-Paper
, 1997
"... ABSTRACT Lean premixed prevaporized combustion (LPP) is a promising approach for the reduction of emissions in gas turbine combustion. Typically, modern gas turbines operate at high pressure and high temperature flow conditions, giving rise to very short self ignition times. Consequently, the resid ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
of design rules for this special type of atomizer will be presented in this paper. In the first part of the text, the setup of an atmospheric Mg rig is described and both atomizer concepts are discussed. The test rig allows the optional use of a prefilming airblast atomizer or an air assisted pressure swirl
2ndstrike: toward manifesting hidden concurrency typestate bugs
- in ASPLOS
, 2011
"... Concurrency bugs are becoming increasingly prevalent in the multi-core era. Recently, much research has focused on data races and atomicity violation bugs, which are related to low-level memory accesses. However, a large number of concurrency typestate bugs such as “invalid reads to a closed file fr ..."
Abstract
-
Cited by 17 (4 self)
- Add to MetaCart
from a different thread” are under-studied. These concurrency typestate bugs are important yet challenging to study since they are mostly relevant to high-level program semantics. This paper presents 2ndStrike, a method to manifest hidden concurrency typestate bugs in software testing. Given a state
Study of the Versatility of a Graphite Furnace Atomic Absorption Spectrometric Method for the Determination of Cadmium in the Environmental Field
, 2002
"... Cadmium is a representative example of trace elements that are insidious and widespread health hazards. In contemporary environmental analysis, there is a clear trend toward its determination over a wide range of concentrations in complex matrixes. This paper describes a versatile method for the de ..."
Abstract
- Add to MetaCart
toward the determination of Cd at the lowest possible levels in complex matrixes. In 1999, Rucandio and Petit (9) described a new method for the determination of Cd by graphite furnace atomic absorption spectrometry (GFAAS). Among several types of matrix modifier tested, a mixture of 2% (w/v) NH 4 H 2 PO
Results 1 - 10
of
279