14649 search results - page 2726 / 2930 » Principles of problem solving |
165
click to vote
ESOP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
189
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
158
click to vote
FPGA
2007
ACM
16 years 18 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
175
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
187
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...