1727 search results - page 36 / 346 » A Technique for Large Automated Mechanism Design Problems |
103
click to vote
TVCG
2008
14 years 11 months ago
2008
Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to ...
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
DAC
2003
ACM
16 years 24 days ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
HAPTICS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a novel experimental apparatus for the capture and replay of physical controls (mechanical knobs), as well as a set of acquired models and a design discussion related t...
EVOW
2004
Springer
15 years 5 months ago
2004
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is tackl...