8398 search results - page 1176 / 1680 » Optimal Software Testing |
198
click to vote
ICCV
2005
IEEE
16 years 21 days ago
2005
IEEE
We propose an algorithm to perform causal inference of the state of a dynamical model when the measurements are corrupted by outliers. While the optimal (maximumlikelihood) soluti...
201
click to vote
ASPDAC
2005
ACM
16 years 20 days ago
2005
ACM
- Routing is one of the important steps in VLSI/ULSI physical design. The rectilinear Steiner minimum tree (RSMT) construction is an essential part of routing. Since macro cells, I...
200
click to vote
KES
2004
Springer
16 years 14 days ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...
200
click to vote
SETN
2004
Springer
16 years 13 days ago
2004
Springer
This paper presents a robust, automated registration algorithm, which may be applied to several types of medical images, including CTs, MRIs, Xrays, Ultrasounds and dermatological ...
153
click to vote
COCOS
2003
Springer
16 years 10 days ago
2003
Springer
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This techniqu...