920 search results - page 139 / 184 » Generating Satisfiable Problem Instances |
118
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
85
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
106
click to vote
PLDI
1996
ACM
15 years 4 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
110
Voted
ICCV
2011
IEEE
14 years 21 days ago
2011
IEEE
We describe a method for generating N-best configurations from part-based models, ensuring that they do not overlap according to some user-provided definition of overlap. We ext...
143
click to vote
IV
2008
IEEE
15 years 7 months ago
2008
IEEE
This article is addressing a recurrent problem in biology: mining newly built large scale networks. Our approach consists in comparing these new networks to well known ones. The v...