3716 search results - page 117 / 744 » On the monotonization of the training set |
147
click to vote
SAT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
152
click to vote
COMPGEOM
2006
ACM
16 years 9 days ago
2006
ACM
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
159
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
160
click to vote
ICDT
2005
ACM
15 years 12 months ago
2005
ACM
We propose and investigate from the algorithmic standpoint a novel form of fuzzy query called approximately dominating representatives or ADRs. The ADRs of a multidimensional point...
150
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Coevolution can in principle provide progress for problems where no accurate evaluation function is available. An important open question however is how coevolution can be set up s...