2647 search results - page 102 / 530 » Solving Term Inequalities |
149
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
130
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a binary classification tree aiming at solving multi-class classification problems using binary classifiers. The tree design is achieved in a way that a class ...
138
click to vote
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
120
Voted
SPIRE
1999
Springer
15 years 8 months ago
1999
Springer
Approximate string matching is an important paradigm in domains ranging from speech recognition to information retrieval and molecular biology. In this paper, we introduce a new f...
133
Voted
DSD
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a ...