4949 search results - page 302 / 990 » Consistency and Set Intersection |
160
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
An optimization problem is often represented with a set of variables, and the interaction between the variables is referred to as epistasis. In this paper, we propose two new measu...
160
click to vote
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
We propose a general methodology for approximating the Pareto front of multi-criteria optimization problems. Our search-based methodology consists of submitting queries to a constr...
187
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe a rule-based formalism for the analysis and labelling of texts segments. The rules are contextual rewriting rules with a restricted form of negation. They...
179
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
171
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
The Generic Library for Adaptive Computing Environments (GLACE) consists of a comprehensive set of module generators currently targeting Xilinx XC4000 and Virtex devices. In contra...