3233 search results - page 23 / 647 » Validation Method for Intelligent Systems |
INFSOF
1998
13 years 7 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
BMCBI
2011
13 years 2 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
We propose a new approach for validating deformable image registration algorithms. Since difference images do not necessarily reflect the 3D correspondence of organs, we propose to...
AUTOMATICA
2006
13 years 7 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
JIIS
2000
13 years 7 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...