Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,017,857 papers from all fields of science
Search
Sign In
Create Free Account
Iterative refinement
Iterative refinement is an iterative method proposed by James H. Wilkinson to improve the accuracy of numerical solutions to systems of linear…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Approximation error
Condition number
Extended precision
Gaussian elimination
Expand
Broader (1)
Numerical linear algebra
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
On solution of the Dubins touring problem
J. Faigl
,
Petr Váňa
,
M. Saska
,
T. Báča
,
Vojtech Spurný
European Conference on Mobile Robots
2017
Corpus ID: 32273917
The Dubins traveling salesman problem (DTSP) combines the combinatorial optimization of the optimal sequence of waypoints to…
Expand
2011
2011
Silhouette-based features for visible-infrared registration
Guillaume-Alexandre Bilodeau
,
P. St-Onge
,
R. Garnier
CVPR WORKSHOPS
2011
Corpus ID: 1774186
We study the registration problem for infrared-visible stereo pairs. Given the properties of infrared and visible images that…
Expand
2008
2008
Maximum Class Separability for Rough-Fuzzy C-Means Based Brain MR Image Segmentation
P. Maji
,
S. Pal
Trans. Rough Sets
2008
Corpus ID: 8934728
Image segmentation is an indispensable process in the visualization of human tissues, particularly during clinical analysis of…
Expand
2006
2006
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Jyotishman Pathak
,
Samik Basu
,
R. Lutz
,
Vasant G Honavar
22nd International Conference on Data Engineering…
2006
Corpus ID: 15323130
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from…
Expand
2006
2006
Path-Sensitive Dataflow Analysis with Iterative Refinement
Dinakar Dhurjati
,
Manuvir Das
,
Yue Yang
Sensors Applications Symposium
2006
Corpus ID: 17737669
In this paper, we present a new method for supporting abstraction refinement in path-sensitive dataflow analysis. We show how an…
Expand
2005
2005
A MODEL-BASED APPROACH TO IMPROVE PLANNING PRACTICE IN COLLABORATIVE AEROSPACE DESIGN
D. Wynn
,
P. Clarkson
,
C. Eckert
2005
Corpus ID: 6743405
The research reported in this paper complements previous work in the modeling and analysis of product development processes to…
Expand
Highly Cited
2003
Highly Cited
2003
Auto-generating Test Sequences Using Model Checkers: A Case Study
M. Heimdahl
,
Sanjai Rayadurgam
,
W. Visser
,
G. Devaraj
,
Jimin Gao
International Workshop on Formal Approaches to…
2003
Corpus ID: 1083617
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These…
Expand
1995
1995
Surface reconstruction from misregistered data
Hubert Jin
,
T. Duchamp
,
Hugues Hoppe
,
J. McDonald
,
K. Pulli
,
W. Stuetzle
Optics & Photonics
1995
Corpus ID: 826556
In this paper, we present a method for simultaneous registration and surface fitting, using multiple sets of 3d points. Our…
Expand
1979
1979
A model for the representation of pattern-knowledge for the endgame in chess
M. Bramer
,
M. Clarke
1979
Corpus ID: 56736455
Highly Cited
1975
Highly Cited
1975
Solution of linear equations with skyline-stored symmetric matrix
C. Felippa
1975
Corpus ID: 123569172
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE