1727 search results - page 190 / 346 » A Technique for Large Automated Mechanism Design Problems |
272
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
144
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
This paper describes the design and evaluation of a technique, Direct Pointer, that enables users to interact intuitively with large displays using cameras equipped on handheld de...
169
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
207
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
134
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
We introduce the following consensus estimate problem. Several processors hold private and possibly different lower bounds on a value. The processors do not communicate with each ...