• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 279
Next 10 →

Towards a theory for integration of mathematical verification and empirical testing

by Michael Lowry, Mark Boyd, Deepak Kulkarni - 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

by H. Kronberger, B. Sc, Ph. D
"... 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

by Nobuo Ezaki - 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,”

by Emily Balcetis , David Dunning - 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

by unknown authors
"... 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

by C. H. Chen, Y. Yao, B. Abidi, A. Koschan, M. Abid
"... 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

by E Butler , · G B Andresen , · M D Ashkezari , · M Baquero-Ruiz , · W Bertsche , · P D Bowe , · C C Bray , · C L Cesar , · S Chapman , · M Charlton , · J Fajans , · T Friesen , · M C Fujiwara , · D R Gill , · J S Hangst , · W N Hardy , · R S Hayano , · M E Hayden , · A J Humphries , · R Hydomako , · S Jonsell , · L Kurchaninov , · R Lambo , · N Madsen , · S Menary , · P Nolan , · K Olchanski , · A Olin , · A Povilus , · P Pusa , · F Robicheaux , · E Sarid , · D M Silveira , · C So , · J W Storey , · R I Thompson , · D P Van Der Werf , · D Wilding , J S Wurtele , · Y Yamazaki , E Butler , · W Bertsche , · M Charlton , · A J Humphries , · N Madsen , · D P Van Der Werf , · D Wilding , G B Andresen , · P D Bowe , J S Hangst , M D Ashkezari , · M E Hayden , M Baquero-Ruiz , C C Bray , · S Chapman , · J Fajans , · A Povilus , · C So , · J S Wurtele , C L Cesar , · R Lambo , T Friesen , · M C Fujiwara , · R Hydomako , · R I Thompson , M C Fujiwara , · D R Gill , · L Kurchaninov , · K Olchanski , · A Olin , J W Storey
"... 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,

by Georg Maier , Michael Willmann , Sigmar Wittig - 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

by Qi Gao, Facebook Inc, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin - 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

by M Isabel Rucandio , M Dolores Petit-Domínguez , 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
Next 10 →
Results 1 - 10 of 279
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University