Sciweavers

2620 search results - page 26 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
BMCBI
2008
126views more  BMCBI 2008»
13 years 7 months ago
FCI: an R-based algorithm for evaluating uncertainty of absolute real-time PCR quantification
Background: FCI is an R code for analyzing data from real-time PCR experiments. This algorithm estimates standard curve features as well as nucleic acid concentrations and confide...
Paolo Verderio, Sara Pizzamiglio, Fabio Gallo, Sim...
MIC
2003
132views Control Systems» more  MIC 2003»
13 years 9 months ago
A New Parameter Estimation Method for DSC Thermodynamic Property Evaluation - Part II: Runge-Kutta Implementation and Numerical
A lumped heat transfer model and parameter estimation technique are proposed for determining key parameters associated with a heat flux Differential Scanning Calorimeter (DSC). T...
Gregory E. Osborne, Jay I. Frankel, Adrian S. Saba...
CHARME
2005
Springer
176views Hardware» more  CHARME 2005»
14 years 1 months ago
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...
ICIP
2002
IEEE
14 years 9 months ago
An experimental study of a new entropy-based SAR autofocus technique
The Stage By Stage Approaching (SSA) entropy minimization approach to synthetic aperture radar (SAR) autofocus is a modern and innovative technique, which has not been compared wi...
Robert L. Morrison Jr., David C. Munson Jr.
IAAI
2003
13 years 9 months ago
CriterionSM Online Essay Evaluation: An Application for Automated Evaluation of Student Essays
This paper describes a deployed educational technology application: the CriterionSM Online Essay Evaluation Service, a web-based system that provides automated scoring and evaluat...
Jill Burstein, Martin Chodorow, Claudia Leacock