2266 search results - page 353 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
167
click to vote
IWPC
2000
IEEE
15 years 10 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...
157
click to vote
ICML
1990
IEEE
15 years 10 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...
144
click to vote
CORR
2010
Springer
15 years 6 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...
159
click to vote
KI
2006
Springer
15 years 6 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...
122
click to vote
TSP
2008
15 years 6 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, ...