3359 search results - page 409 / 672 » A Simplified Idea Algorithm |
117
Voted
WSC
2008
15 years 2 months ago
2008
Combinatorial auctions, where buyers can bid on bundles of items rather than bidding them sequentially, often lead to more economically efficient allocations of financial resource...
99
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
103
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Grid-warping is a recent placement strategy based on a novel physical analogy: rather than move the gates to optimize their location, it elastically deforms a model of the 2-D chi...
105
click to vote
ACSD
2007
IEEE
15 years 2 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
97
Voted
CPM
2008
Springer
15 years 2 months ago
2008
Springer
The Sort Transform (ST) can significantly speed up the block sorting phase of the Burrows-Wheeler transform (BWT) by sorting only limited order contexts. However, the best result o...