8828 search results - page 329 / 1766 » Formal methods in practice |
190
click to vote
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...
179
click to vote
ESE
2008
15 years 6 months ago
2008
The development of methods tools and process improvements is best to be based on the understanding of the development practice to be supported. Qualitative research has been propo...
178
click to vote
ESE
2002
15 years 6 months ago
2002
Estimating remaining defects or failures in software can help test managers make release decisions during testing. Several methods exist to estimate defect content, among them a v...
168
click to vote
MP
1998
15 years 6 months ago
1998
A practical warm-start procedure is described for the infeasible primal-dualinterior-point method employed to solve the restricted master problem within the cutting-plane method. ...
163
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...