9359 search results - page 42 / 1872 » Generalization Algorithms for Second-Order Terms |
112
click to vote
AMAI
2005
Springer
15 years 1 months ago
2005
Springer
A CNF formula is called matched if its associated bipartite graph (whose vertices are clauses and variables) has a matching that covers all clauses. Matched CNF formulas are satisf...
125
click to vote
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
127
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
109
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Helicopter hovering is an important challenge problem in the field of reinforcement learning. This paper considers several neuroevolutionary approaches to discovering robust cont...
107
click to vote
SIGMOD
1997
ACM
15 years 6 months ago
1997
ACM
One of the most well-studied problems in data mining is mining for association rules in market basket data. Association rules, whose significance is measured via support and confi...