1625 search results - page 299 / 325 » Learning to Find Pre-Images |
103
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the b...
136
Voted
CICLING
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic acquisition of semantic-based reformulations from natural language questions. Our goal is to find useful and generic ...
COCO
2006
Springer
15 years 5 months ago
2006
Springer
We consider the problem of finding a monomial (or a term) that maximizes the agreement rate with a given set of examples over the Boolean hypercube. The problem is motivated by le...
130
Voted
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
109
click to vote
ACMSE
2008
ACM
15 years 3 months ago
2008
ACM
With stock surpluses and shortages representing one of the greatest elements of risk to wholesalers, a solution to the multiretailer supply chain management problem would result i...