Sciweavers

1221 search results - page 100 / 245
» Two Consistency Results on Set Mappings
Sort
View
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 11 months ago
G-MAC: An Application-Specific MAC/Co-Processor Synthesizer
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
Alex C.-Y. Chang, Wu-An Kuo, Allen C.-H. Wu, TingT...
EVOW
2004
Springer
15 years 11 months ago
A Hierarchical Social Metaheuristic for the Max-Cut Problem
This paper introduces a new social metaheuristic for the Max-Cut problem applied to a weighted undirected graph. This problem consists in finding a partition of the nodes into two ...
Abraham Duarte, Felipe Fernández, Án...
HAIS
2009
Springer
15 years 11 months ago
Automatic Clustering Using a Synergy of Genetic Algorithm and Multi-objective Differential Evolution
— This paper applies the Differential Evolution (DE) and Genetic Algorithm (GA) to the task of automatic fuzzy clustering in a Multi-objective Optimization (MO) framework. It com...
Debarati Kundu, Kaushik Suresh, Sayan Ghosh, Swaga...
ISMVL
1999
IEEE
90views Hardware» more  ISMVL 1999»
15 years 10 months ago
Transformations between Signed and Classical Clause Logic
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
FCT
2009
Springer
15 years 10 months ago
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
Paul Hänsch, Michaela Slaats, Wolfgang Thomas