1789 search results - page 169 / 358 » New analysis and results for the Frank-Wolfe method |
142
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
120
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
136
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Owing to rapid expansion of protein structure databases in recent years, methods of structure comparison are becoming increasingly effective and important in revealing...
104
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
123
Voted
NECO
1998
15 years 1 months ago
1998
We describe a new method for performing a nonlinear form of Principal Component Analysis. By the use of integral operator kernel functions, we can e ciently compute principal comp...