1888 search results - page 262 / 378 » Proof theory and computational analysis |
145
click to vote
STOC
2006
ACM
16 years 2 months ago
2006
ACM
Let > 0 be a constant. For any edge-weighted planar graph G and a subset S of nodes of G, there is a subgraph H of G of weight a constant times that of the minimum Steiner tree...
124
click to vote
ACMDIS
2006
ACM
15 years 7 months ago
2006
ACM
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
107
click to vote
SIGECOM
2006
ACM
15 years 7 months ago
2006
ACM
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...
91
Voted
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
122
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...