1727 search results - page 162 / 346 » A Technique for Large Automated Mechanism Design Problems |
123
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
The Fellegi-Holt method automatically “corrects” data that fail some predefined requirements. Computer implementations of the method were used in many national statistics bure...
255
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we propose a technique to flexibly implement genetic algorithms for various problems on FPGAs. For the purpose, we propose a basic architecture for GA which consist...
156
click to vote
FROCOS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
285
click to vote
NFM
2011
15 years 1 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
167
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Most FPGA technology mapping approaches either target Lookup Tables (LUTs) or relatively simple Programmable Logic Blocks (PLBs). Considering networks of PLBs during technology map...