Sciweavers

2042 search results - page 46 / 409
» Variable Number of
Sort
View
TYPES
2007
Springer
15 years 4 months ago
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in th...
Antoine Genitrini, Jakub Kozik, Marek Zaionc
JCIT
2010
144views more  JCIT 2010»
14 years 5 months ago
A Model for Software Selection with Fuzzy Linguistic Information
With respect to multiple attribute decision making problem with triangular fuzzy linguistic information, in which the attribute weights and expert weights take the form of real nu...
Juchi Hou
SE
2010
15 years 1 days ago
Projectional Language Workbenches as a Foundation for Product Line Engineering
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...
Markus Voelter
MLQ
2010
65views more  MLQ 2010»
14 years 9 months ago
Tautologies over implication with negative literals
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
Hervé Fournier, Danièle Gardy, Antoi...
GECCO
2006
Springer
145views Optimization» more  GECCO 2006»
15 years 2 months ago
Multi-objective test problems, linkages, and evolutionary methodologies
Existing test problems for multi-objective optimization are criticized for not having adequate linkages among variables. In most problems, the Pareto-optimal solutions correspond ...
Kalyanmoy Deb, Ankur Sinha, Saku Kukkonen