7865 search results - page 467 / 1573 » Large correlation analysis |
193
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a series of results providing evidence that the incentive problem with VCG-based mechanisms is not very severe. Our first result uses average-case analysis to show that ...
168
click to vote
NAR
2000
15 years 6 months ago
2000
The WIT (What Is There) (http://wit.mcs.anl.gov/WIT2/ ) system has been designed to support comparative analysis of sequenced genomes and to generate metabolic reconstructions bas...
132
click to vote
FMSD
1998
15 years 6 months ago
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
153
click to vote
PAMI
2010
15 years 5 months ago
2010
—Multigrid solvers proved very efficient for solving massive systems of equations in various fields. These solvers are based on iterative relaxation schemes together with the app...
179
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
The search for the optimal word sequence can be performed efficiently even in a speech recognizer with a very large vocabulary and complex models. This is achieved using pruning m...