Results 11 - 20 of 3,434

Manual Refactorings with Automated Correctness Checks ∗

by Xi Ge, Emerson Murphy-hill
"... Refactoring, the practice of applying behavior-preserving changes to existing code, can enhance the quality of software systems. Refactoring tools have been widely introduced in an attempt to automatically check the correctness of auto-matically transformed code. However, even when develop-ers have ..."
Abstract - Add to MetaCart
these tools available, they still perform about 90% of refactorings in a manual, error-prone way. To address this problem, we propose to bifurcate transformation and correctness checking; we allow the developer to transform the code manually, but check the correctness of her trans-formation automatically. We

CORRECTION Open Access Correction

by Kristina M Hettne, Antony J Williams, Erik M Van Mulligen, Jos Kleinjans, Valery Tkachenko, Jan A Kors , 2010
"... Automatic vs. manual curation of a multi-source chemical dictionary: the impact on text mining ..."
Abstract - Add to MetaCart
Automatic vs. manual curation of a multi-source chemical dictionary: the impact on text mining

Correction Annotation for Non-Native Arabic Texts: Guidelines and Corpus

by Wajdi Zaghouani , Nizar Habash , Houda Bouamor , Alla Rozovskaya , Behrang Mohit , Abeer Heider , Kemal Oflazer
"... Abstract We present our correction annotation guidelines to create a manually corrected nonnative (L2) Arabic corpus. We develop our approach by extending an L1 large-scale Arabic corpus and its manual corrections, to include manually corrected non-native Arabic learner essays. Our overarching goal ..."
Abstract - Add to MetaCart
Abstract We present our correction annotation guidelines to create a manually corrected nonnative (L2) Arabic corpus. We develop our approach by extending an L1 large-scale Arabic corpus and its manual corrections, to include manually corrected non-native Arabic learner essays. Our overarching

RESEARCH Open Access

by Ellen Ostenfeld
"... Manual correction of semi-automatic three-dimensional echocardiography is needed for right ventricular assessment in adults; validation with cardiac magnetic resonance ..."
Abstract - Add to MetaCart
Manual correction of semi-automatic three-dimensional echocardiography is needed for right ventricular assessment in adults; validation with cardiac magnetic resonance

coherence

by Florian M Heussen, Yanling Ouyang, Emma C Mcdonnell, Ramsudha Narala, Humberto Ruiz-garcia, Er C Walsh, Srinivas R Sadda
"... Comparison of manually corrected retinal thickness measurements from multiple spectral-domain optical ..."
Abstract - Add to MetaCart
Comparison of manually corrected retinal thickness measurements from multiple spectral-domain optical

Analysis of array CGH data: from signal ratio to gain and loss of DNA regions

by Nicolas Stransky, Jean-paul Thiery, Emmanuel Barillot - Bioinformatics , 2004
"... Motivation: Genomic DNA regions are frequently lost or gained during tumor progression. Array Comparative Geno-mic Hybridization (array CGH) technology makes it possible to assess these changes in DNA in cancers, by comparison with a normal reference. The identification of systematically deleted or ..."
Abstract - Cited by 158 (9 self) - Add to MetaCart
profile, and the assignment of a status to each chromosomal region. The breakpoint detection step is based on the Adaptive Weights Smoothing (AWS) procedure and provides highly convincing results: our algorithm detects 97, 100 and 94 % of breakpoints in simulated data, karyotyping results and manually

A System For Specialising Logic Programs

by J. P. Gallagher , 1991
"... This report describes SP, a system for specialising logic programs. The report functions as a user's manual for SP, and also contains the algorithms employed and arguments for their correctness. A number of examples of program specialisation are given in Appendix A. Contents 1 Program Specialis ..."
Abstract - Cited by 153 (12 self) - Add to MetaCart
This report describes SP, a system for specialising logic programs. The report functions as a user's manual for SP, and also contains the algorithms employed and arguments for their correctness. A number of examples of program specialisation are given in Appendix A. Contents 1 Program

Automatic identification of user goals in web search

by Uichin Lee, Zhenyu Liu, Junghoo Cho , 2004
"... There have been recent interests in studying the “goal ” behind a user’s Web query, so that this goal can be used to improve the quality of a search engine’s results. Previous studies have mainly focused on using manual query-log investigation to identify Web query goals. In this paper we study whet ..."
Abstract - Cited by 149 (3 self) - Add to MetaCart
There have been recent interests in studying the “goal ” behind a user’s Web query, so that this goal can be used to improve the quality of a search engine’s results. Previous studies have mainly focused on using manual query-log investigation to identify Web query goals. In this paper we study

Manual on Identification, Analysis, and Correction of High-Crash

by L. Sanford Bernhardt, Mark, R. Virkler
"... agencies have developed guidelines for regularly examining their highway systems to find, evaluate and improve locations that have histories of high-crash rates. Documents have been developed to help traffic engineers identify, analyze and correct these high-crash locations (HCLs); some in conjuncti ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
agencies have developed guidelines for regularly examining their highway systems to find, evaluate and improve locations that have histories of high-crash rates. Documents have been developed to help traffic engineers identify, analyze and correct these high-crash locations (HCLs); some

MANUAL OF GAIN CORRECTION DATA FOR STANDARD Tehncl.epr

by The Ohio, H. H. Chung, R. C. Rudduck , 1980
"... LLJ ~ThI-d do, 'vmsent has been approved f'r P.*bliz release and sale; its ..."
Abstract - Add to MetaCart
LLJ ~ThI-d do, 'vmsent has been approved f'r P.*bliz release and sale; its
Results 11 - 20 of 3,434