2266 search results - page 353 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
134
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
128
click to vote
ICML
1990
IEEE
15 years 8 months ago
1990
IEEE
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes. In this model, each node has bounded computation and storage c...
127
click to vote
KI
2006
Springer
15 years 4 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
101
click to vote
TSP
2008
15 years 3 months ago
2008
Designing matched transmit and receive filters such that their combination satisfies the Nyquist condition is a classical problem in digital communication systems. In this paper, ...