3353 search results - page 321 / 671 » Laver and set theory |
169
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we examine how adding objectives to a given optimization problem affects the computation effort required to generate the set of Pareto-optimal solutions. Experime...
187
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
The main aim of randomized search heuristics is to produce good approximations of optimal solutions within a small amount of time. In contrast to numerous experimental results, th...
157
click to vote
POLICY
2007
Springer
16 years 25 days ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
159
click to vote
SYNASC
2006
IEEE
16 years 22 days ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
163
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...